Приветствую, может кто подскажет, можно ли помапицца нормально по списку типов? Есть ф-ция foo :: forall (is :: [Nat]). (LessThen is max) => (forall (i :: Nat). (i <= max)...
Окей, тогда я все таки оформляю, как отдельный пакет. Да, чтобы не создалось такой же ситуации, стоит кого-то сразу сделать комейнтейнером?
Многопоток не сильно помогает? Я вот думаю на счет покупки чего-то 12+ ядерного для сборок.
А какие краши? УМВР. GHC-8.8.2
Тогда мне написать там в качестве входной переменной - double или float?
Развертка?