[oggy]

I see, so it unifies type (or I suppose term in this case?) erasure and linear typing? Thanks for the explanation!

[ChadNauseam]

Exactly!