Data.Fin

data Fin s n

natToFin

toFin

unsafeToFin

fromFin

finZ

finS

finLast

absurd

weaken

weakenN

strengthen

shift

finAdd

finAddN

finSub

finSubN

finMult