How to Improve Haskell's Type Checker

The idea of concrete, we only came up with that maybe two or three years ago. And it takes time before someone writes the obscure program that our current algorithm doesn't handle. This one about these qualities that can lead to infinite types. Well, that's been around for a while, but there was an older technique called flattening. A few years ago, I found flattening was getting in my way. It made things faster and simpler and better. But once we removed flattening, then something had to come back in to handle those qualities. That's why it's kind of newish.