@misc{indiciae528184e80980, title = {Towards a more perfect union type}, author = {MichaƂ J. Gajda}, year = {2021}, doi = {10.5281/zenodo.3929474}, url = {https://arxiv.org/abs/2011.03076}, note = {Source identifier: 2011.03076} }