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