Haskell's type system is actually a crutch for people who can't manage complexity in their own brains - it's a guardrail that prevents you from making certain kinds of mistakes, but also severely limits the kinds of abstractions you can build.