[Haskell-cafe] Haskell's type system compared to CLOS