Is there a standard class that looks something like this:
class (Monoid m) => MonoidBreak m where mbreak::a->m a->(m a,m a) and it should follow some law like: m == uncurry mappend $ mbreak x m -Alex- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe