Tagged Unions are quite sexy (2024)