The Importance of Unification in AV

Rock uses this model called unification for its type checking. A simple example we can take is imagine I have a function that wants to, you know, it operates over some user role. So the previous system in rock, if I wanted to pass a value to this function that takes a user or an admin or a super admin, the value that I had to provide it would have to be explicitly of the type named user or admin or super admin. It couldn't be any subset of those three things. And so, yeah, we found a way to, like, we're not using sub-typing exactly in rock. We can't do this for certain reasons. But, you know