Category "monad-transformers"

Free monad transformer - how to implement bind?

I am trying to implement free monad transformer similar to the FreeT from haskell's "free" package, but I don't know how to write bind so that the termination c