On Tue, 23 Mar 2021 at 05:32, G. P. B. <george.bany...@gmail.com> wrote:
> I'm calling this proposal pure intersection types as there would be no > possibility of mixing intersection and union types, I'm leaving this as a > future scope. > Does this miss an opportunity, though? It's useful to be able to write A&B|null.
