Yeah, I had to introduce one more scary name to do it, but (>=>) is really a good one to learn. It's monadic composition. (>=>) :: (Monad m) => (a -> m b) ->

Yeah, I had to introduce one more scary name to do it, but (>=>) is really a good one to learn. It's monadic composition. (>=>) :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c) (>=>) c1 c2 a = (c1 a) >>= c2 It really helps to clean up some names that normally would be carried all throughout do-less monadic code.