Adding an ignore function to Control.Monad

[Henning Thielemann]

On Thu, 11 Jun 2009, David Menendez wrote:

> On Thu, Jun 11, 2009 at 2:57 PM, Henning
> Thielemann<lemming at henning-thielemann.de> wrote:
>>
>> On Thu, 11 Jun 2009, David Menendez wrote:
>>
>>> Again, why do you think that? I much prefer the current syntax.
>>
>> http://haskell.org/haskellwiki/Restrict_type_of_monadic_binding
>> http://haskell.org/haskellwiki/Do_notation_considered_harmful#Safety
>
> Aside from assertions that this is a bad thing because you say so,
> what evidence do we have that this is a problem?

The example on the Wiki is ExitCode. It is commonly ignored, but it must 
be respected, since its value tells whether it makes sense to continue 
with other actions. Not a good example?

I can also ask the question, what are commonly results that you like to 
ignore by default where ignoring is the right thing? It's quite easy to 
add 'ignore' where necessary and it safes us from ignoring a result by 
accident. Avoiding errors is the goal of using types, isn't it?