Union Types and Option Types https://lobste.rs/s/mwqrct #plt https://tibleiz.net/blog/2025-03-16-union-types-and-option-types.html