fixpoint-0.1.1: Data types as fixpoints
Data.Fixpoint.Algorithms
size :: (Fixpoint t, Foldable (Pre t)) => t -> IntSource