Я пытаюсь понять использование фантомных типов в пакете arithmoi (https://hackage.haskell

Я пытаюсь реализовать тип CurrencyQty, который действует как число, помеченное во время компиляции:...

Итак, я пытаюсь создать тип для кортежей переменной длины, в основном как более симпатичные версии...