[tome]

> Is it due to Edward's (over)use of the type system, making it fit (however complex) into the Haskell system?

No, not at all. It fits extremely naturally into Haskell's typesystem. The fit is so natural that it's quite astonishing they weren't discovered earlier.