path: root/examples/alpha_equiv.makkai

let signature S = (n : Nat) -> Set
let signature T = (m : Nat) -> Set
let instance i :: S = for (x : Nat), (Nat :: Set)
let instance j :: T = i