On Sat, Jul 11, 2009 at 9:35 AM, Jeff Wheeler <jeff@nokrev.com> wrote:

On Fri, Jul 10, 2009 at 10:10 PM, Don Stewart<dons@galois.com> wrote:

>> ## Control.Monad.void m a -> m ()
>> Don Stewart
>> Iavor Diatchki

For whatever it's worth, I prefer void as well, for the exact reason
Don said. Indeed, 'ignore' indicates to me that the argument won't
even be evaluated: it'll be ignored, and skipped. But it is, and only
part --- the result --- is ignored.

I also think void is clearer than ignore.

-- Johan