ты пытаешься зачем-то сравнивать язык, где система типов изначально предполагает наличие алгебраических типов, с языком, где система типов существует по чисто практическим причинам, смотрит из подлобья и говорит с тяжелым бруклинским акцентом
остается только понять и простить? ну да, так тоже можно