[Haskell] signature of when, unless

Wouldn't it be more useful if the type was when :: Monad m => Bool -> m a -> m () not when :: Monad m => Bool -> m () -> m () ...? Frederik