Я обернул все семейство данных в одну экзистенциальную: data Type = Numeric | Boolean data family...
В GPipe есть функция для записи в текстуру: writeTexture2D :: forall ctx b c h w os f m....
GHC.TypeNats экспортирует семейство типов следующей подписи: type family (m :: Nat) + (n :: Nat) ::...