1
Создание полностью зависимой конкатенации
Хороший факт о конкатенации заключается в том, что если я знаю какие-либо две переменные в уравнении: a ++ b = c Тогда я знаю третий. Я хотел бы запечатлеть эту идею в моем собственном конкатате, поэтому я использую функциональную зависимость. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …