Хочу поделится как максимально неудобно сделаны юнионы в Unison, либо я чего то не понимаю. Сначала, вот как выглядит декларация размеченного пересечения на нормальном языке
В Unison record типы(типы с именованными полями) поддерживают только сингл конструктор, поэтому чтобы создать юнион между рекорд типами, каждый из них приходится объявлять отдельно и это превращается вот в такой вот цирк LoggedIn LoggedInType
Исландия не имеет извлекаемых природных энергоресурсов, но при этом и не импортирует ее. Страна получает 88% энергии из возобновляемых источников. Уважуха конеш.