Data.Finite.Internal

data Finite n

finite

getFinite