Я обнаружил интересную ситуацию при использовании типов данных с семействами типов. Сообщение об ошибке компилятора: No instance for (C (ID ())) arising from a use of W . Это предполагает, что приложение семейства типов не оценивается полностью,...

Вот нетипизированное лямбда-исчисление, члены которого индексируются своими свободными переменными. Я использую библиотеку singletons для одноэлементных значений строк уровня типа. {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-#...

Моя проблема У меня есть следующее семейство типов, которое отделяет аргументы от функции: type family SeparateArgs ( a :: Type ) :: ( Type, [Type] ) where SeparateArgs (a -> b) = SndCons2 a (SeparateArgs b)...