Data.Fin
data Fin n
cata
explicitShow
explicitShowsPrec
toNat
fromNat
toNatural
toInteger
inverse
universe
inlineUniverse
universe1
inlineUniverse1
absurd
boring
fin0
fin1
fin2
fin3
fin4
fin5
fin6
fin7
fin8
fin9