Data.Fin

data Fin n

finToInt

natToFin

finToNat

finZAbsurd

finZElim

zero

succ

weaken

weakenLTE

weakenN

strengthen

shift

last