Is There Any Unification With Sub Typing?

Hindley: If you don't have sub typing, maybe global inference is going to be fine. But from what you're telling us, what is your sub typing, then things are going to go down here really fast. Right? So this is why you need to use a totally different implementation strategy of like a decision tree. Hindley: I'm just familiar with the like the unification style. And so what we've been talking about is if we introduced and that is basically like a sub typing type of analysis, if we did it and was localized, literally just to pattern matching on tag unions, then okay, it would be potentially able to blow up in this way but probably not