before implementing a programming language, please talk to a type theorist
you don't even have to know type theory
just throw something at them and ask if it's a good idea
I beg you
Follow
this is how you avoid making semantics decisions that seem good on paper and then make everything horrifying later. this is how you do it
(usually)
