Jurriën Stutterheim schrieb: > Hi all, > > > I would like to propose adding the following function to Control.Monad to complement the `void` function: > > voidM :: Monad m => m a -> m () > voidM m = m >> return () In the case of the IO monad, the already existing 'void' function would work, too, since IO is also in Functor class.