For instance, Haskell has Show1 f => Show1 (Free f) and (Show1 f, Show a) => Show (Free f a) and similarly for Cofree. The implementation depends on my other issue to introduce Show 1 .