В погоне за совершенством в методиках ad-hoc разработки написал два оператора:

(>>=?) :: (Monad m) => m (Maybe a) -> (a -> m (Maybe b)) -> m (Maybe b)
(>>=?!) :: (Monad m) => m (Maybe a) -> (a -> m ()) -> m ()

Горжусь россией.