Data.Fin

data Fin