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 ?