22 Jun
2010
22 Jun
'10
3:23 p.m.
On Jun 22, 2010, at 5:20 PM, Sebastian Fischer wrote:
It follows that `(>>-(:[]))` and `foldr mappend mempty` are monoid isomorphisms.
I meant (>>-(:[])) :: FreeMonoid a -> [a] and foldr mappend mempty . map return :: [a] -> FreeMonoid a -- Underestimating the novelty of the future is a time-honored tradition. (D.G.)