Я пытаюсь определить функцию внутри семейства типов, которая полиморфна фантомному типу самого GADT, определенного в семействе типов. Мое определение семейства типов выглядит следующим образом: class Channel t where data Elem t a :: *...