reg068.idr:1:6:
Main.nat has a name which may be implicitly bound.
This is likely to lead to problems!
reg068.idr:2:6:Main.ze has a name which may be implicitly bound.
This is likely to lead to problems!
reg068.idr:2:6:When checking constructor Main.ze:
Type level variable nat is not Main.nat