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) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe