16 Dec
2011
16 Dec
'11
11:57 p.m.
On Dec 17, 2011, at 1:26 AM, Yves Parès wrote:
"1) What about the First type? Do we {-# DEPRECATE #-} it?"
Personnaly, I'm in favor of following the same logic than Int: Int itself is not a monoid. You have to be specific: it's either Sum or Mult.
It should be the same for Maybe: we remove its instance of Monoid, and we only use First and Last.
+1 for this idea, because it follows the principle of least surprise. Cheers, Greg