Adding an ignore function to Control.Monad

[Bulat Ziganshin]

Hello Henning,

Friday, August 14, 2009, 8:55:58 PM, you wrote:

>> Also, treating '()' specially as 'don't care' as opposed to any other
>> unit type doesn't sit right with me either. Sure it is an obvious choice
>> for a don't care value, but the fact you can use others is nicely
>> consistent with the idea that other than having some syntatic sugar,
>> built in types are not special in haskell.

> Agreed, it would be certainly better to have a special type like:

> data Ignore = Ignore

and what () means, as you think?

-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com