Исправление Bohtvaroh, (текущая версия) :
Ага. Хорошо, но по-моему дальше ничего не получится: мне же нужно в конечном итоге распаковать значения назад, а с existential types это невозможно. Плюс непонятно, как вызывать ф-ии из Bounded, Eq, Ord. То есть упаковать в список я смогу, но потом тупик.
Посмотрю h-list...
Исходная версия Bohtvaroh, :
Ага. Хорошо, но по-моему дальше ничего не получится: мне же нужно в конечном итоге распаковать значения назад, а с existential types это невозможно. Плюс непонятно, как вызывать ф-ии из Bounded, Eq, Ord. То есть упаковать в список я смогу, но потом тупик.