Data.Type.Fin
data
Fin
fins
fin
finZ
weaken
without
class
x
<=
y
finNat