Nat.t = nat
     : Set
Nat.t = nat
     : Set
1 subgoal
  
  ============================
  False