それって tagged union じゃなくて untagged union な世界観な気も。