
7 Jun
2007
7 Jun
'07
8:21 p.m.
On 6/7/07, Alex Jacobson
Is there a standard class that looks something like this:
class (Monoid m) => MonoidBreak m where mbreak::a->m a->(m a,m a)
I think you have some kind of kind issue going on here. If m is a Monoid I'm not sure what m a means. Looks like you're trying to factor elements of monoids in some way. Maybe you mean class (Monoid m) => MonoidBreak m where mbreak::a->m->(m,m) Though I'm not sure what the relationship between m and a is intended to be.