module Postulate.Extensionality where

open import Level
open import Axiom.Extensionality.Propositional

postulate
  extensionality : Extensionality zero zero