Recursive lifting of monads.