[Haskell] signature of when, unless

Isaac Jones ijones at syntaxpolice.org
Mon Jan 17 20:01:12 EST 2005


Frederik Eaton <frederik at ugcs.caltech.edu> writes:

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

Seconded.

peace,

  isaac


More information about the Haskell mailing list