Added recursion schemes to Control.Monad.Trans.Free
Church-encoded free monad transformer