Page MenuHomePhabricator

Discuss How to Implement Unions
Open, Needs TriagePublic

Description

K1: type1, K2: type2?
Or just allowing Union(type1, type2) to be either of type1, type2 directly?