def embed project note data Fix f = Fix (f (Fix f )) fix unFix data Free f a = Free (f (Free f a)) | Pure a free unFreenot total sum data Cofree f a = Cofree a (f (Cofree f a) cofreenot total unCofree product