Expander2 -- Relationships Between Equational and Inductive Data Types -- Cofree