recursion

This is a loose fork of Edward Kmett's recursion-schemes library.

It also provides monadic versions of several common recursion schemes.