Monomorphic Nat.t = nat
     : Set

Nat.t is not universe polymorphic
Monomorphic Nat.t = nat
     : Set

Nat.t is not universe polymorphic
1 subgoal
  
  ============================
  False