[Haskell] Announce: revamped free theorems generator

[Sebastian Fischer]

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.)