Re: [Haskell-cafe] Theorems for free!