GHC's type errors can be daunting, but the complexity of the errors usually scales quite linearly with the complexity of your code. That's good, it keeps you in line.

> The problem with Haskell is it's purity and thirst for abstraction means more and more complex type definitions and ideas [...]

If that's the case something goed wrong. Proper abstraction means having complex definition with simple types!