I like Haskell's type system, but I don't like its focus on purity, crappy module system and lazy evaluation. I also hate implicit currying.
lied concerning: "like" type system; easily argued could not understand