Re[4]: Proposal: Adding Kleisli composition to Control.Monad