I would find the following really useful `(>>.=) :: Monad m => m a -> (a -> b -> m c) -> b -> m c` particularly for lambda cases where I'd like to return a point-free expression from each branch