Example in https://github.com/slamdata/matryoshka/blob/master/tests/shared/src/test/scala/matryoshka/exp/package.scala But also applies to other fixpoint types Mu and Nu and Cofree. Free integration would be nice too.