I personally call Haskell's type system "paranoid". Yet I have no difficulty asserting that it's way more flexible than C++'s or even Ocaml's (which makes you

I personally call Haskell's type system "paranoid". Yet I have no difficulty asserting that it's way more flexible than C++'s or even Ocaml's (which makes you route around the value restriction, and the lack of type classes). I love paranoid type systems: they debug my thinking up front.