Haskell's type system can be unwieldy (and often on the edge of experimentation, it is) but that's because it's not so different from a programming language its

Haskell's type system can be unwieldy (and often on the edge of experimentation, it is) but that's because it's not so different from a programming language itself. That said, both the type system and the language, Haskell, itself are based on incredibly simple pieces.