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.)
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
