May 22, 2020
3:38 p.m.
Thanks, I also assumed that it was a helper with a clashing name. But was its removal a deliberate step towards actually adding TypeAlias "back" to typing in its new role anytime soon?