я и не подозревал что у селф есть влияние APL

Одни из первых носимых калькуляторов(от поцев которые сделали ZX Spectrum), ниче впринципи не изменилось, просто монобровь и экран поменялись местами

Хочу поделится как максимально неудобно сделаны юнионы в Unison, либо я чего то не понимаю.
Сначала, вот как выглядит декларация размеченного пересечения на нормальном языке

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

Гениальная идея, девайте сделаем литералом для Char не одинарные кавычки а ?, как поставить пробел, ну разумеется ?\s