Extensions I use for Edward Kmett's recursion schemes package

root

recursion-schemes-ext

This adds several functions to recursion-schemes, including a cataM.

Monadic Functions

This package provides cataM, anaM, and hyloM. That means you can have (co)algebras that return a monadic value.