The Tradeoff Between Power and Complexity in a Type System

In Iraq, we have this liberty to assume things will work a certain way. And so you have to find ways to make it work otherwise. So from like a type checking perspective, I think another interesting one is that the way that and we have you to thank for this is like the way that rock does what? OCaml calls polymorphic variants, what we call tag unions, the types for that. We always had a different type like representation of them than OCaml does. But the modification that you came up with has been, I think a really big deal.