@mikeshardmind I agree with you in spirit, but type variable scoping is currently a major gray area of the typing spec. To avoid derailing the conversation, I opened a separate topic about it.
@mikeshardmind I agree with you in spirit, but type variable scoping is currently a major gray area of the typing spec. To avoid derailing the conversation, I opened a separate topic about it.