Control.Monad: +void :: f a -> f ()