implementation module Monad


(>>>|) infixr 5 :: (m a) (m b) -> m b | Monad m
(>>>|) a b = a >>> \_ = b