Hi! I have some thoughts on variance implementation. Proposal: https://gist.github.com/mekarthedev/cd2a3a06691db70414c2a764a9d4993b Could someone review it? I don't have any experience in language design, so I'm not sure if it's worth something or I'm just writing something stupid.