data nat : Type where --error
  ze : nat --hello.idr:10:6:When checking constructor Main.ze: !!V 0!! is not Main.nat
  su : nat -> nat