Yes, typo. =)
Edward Kmett schrieb:
> If you want a more uniform factoring, then at the risk of furtherFunctor m => Monad m ?
> 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