[Haskell-cafe] Exercise in point free-style

[ajb at spamcop.net]

G'day all.

Quoting Donald Bruce Stewart <dons at cse.unsw.edu.au>:

> Get some free theorems:
>     lambdabot> free f :: (b -> b) -> [b] -> [b]
>     f . g = h . f => map f . f g = f h . map f

I finally got around to fixing the name clash bug.  It now reports:

    g . h = k . g => map g . f h = f k . map g

Get your free theorems from:

    http://andrew.bromage.org/darcs/freetheorems/

Cheers,
Andrew Bromage