3 May
2011
3 May
'11
5:33 p.m.
On Tue, May 3, 2011 at 1:14 PM, Yitzchak Gale
You are quite right. These should really be defined in their respective packages. I don't think it's too onerous for them to add a dependency on semigroups, even before you reverse the few lightweight dependencies that semigroups has.
Unfortunately, the semigroups package will have to go into the Platform before either text or bytestring can make use of it. I think that would be great to have, but the getting from here to there is not necessarily fun.