20 Nov
2012
20 Nov
'12
3:17 p.m.
On Tue, Nov 20, 2012 at 3:09 PM, Dan Burton
The name for this is clearly mconcat, we just have to indicate which mconcat it is: the mconcat a la Endofunctors and Kleisli... whatevers, respectively. It seems like this sort of thing should be handled by the "newtype" package, but I can't seem to wrangle it into submission.
I'd be happy to take any needed steps to prepare or help push that package to some place more visible/useful. -- Darius Jahandarie