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

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!