TY  - RPRT
TI  - Towards a more perfect union type
AU  - Michał J. Gajda
PY  - 2021
DO  - 10.5281/zenodo.3929474
UR  - https://arxiv.org/abs/2011.03076
ID  - 2011.03076
ER  -