[Haskell-cafe] Theorems for free!