26 Sep
2010
26 Sep
'10
4:26 a.m.
Yes, typo. =) On Sat, Sep 25, 2010 at 1:09 PM, Henning Thielemann < schlepptop@henning-thielemann.de> wrote:
Edward Kmett schrieb:
If you want a more uniform factoring, then at the risk of further exploding the number of options under consideration, there is an obvious choice:
class Semigroup s where sappend :: s -> s -> s
-- ^ like how Functor m => Monoid m, you get the obvious 'spiritual but unenforced' Semigroup m => Monoid m
Functor m => Monad m ?