[Fwd: Re: [Haskell-cafe] Implicit newtype unwrapping]

Am Donnerstag, den 03.12.2009, 01:16 +0100 schrieb Martijn van Steenbergen:

So here's a totally wild idea Sjoerd and I came up with.

What if newtypes were unwrapped implicitly?

What advantages and disadvantages would it have? In what cases would this lead to ambiguous code?

1) instance Monoid a => Monoid (Dual a) 2) instance Monoid (Endo a) instance Monoid b => Monoid (a -> b)