Convert Lambda to composition.

Now it looks like the GHC source code's version, see
http://hackage.haskell.org/packages/archive/base/latest/doc/html/src/GHC-Base.html#Monad

Just for the sake of demonstrating the equivalence, rather than trying to suggest one should have been used rather than the other.