typeclasses штоле?

@enterprize Нет, Дэвид Блейн. Имеется в виду что T TVar позволяет хранить Хуй и Пизду в транзакционных переменных, T Identity высрать значения в пользователя, T (Const String) высрать в пользователя аннотацию.

@enterprize У этого всего было какое-то название и я думаю что если его вспомнить то на hackage найдется библиотека для траверса произвольного T на генериках.

@ndtimofeev GADT?

Случайно изобрёл такую хуйню когда решил сделать обобщённый интерфейс для коллбеков своей библиотеки.

@enterprize Нет. То что я описал работает на голом полиморфизме (главное чтобы у Хуя и Пизды был один кайнд).

@enterprize Это вообще, прости господи, паттерн проектирование.

@l29ah Ну штука и правда не сложная.

Эта хуйня называется Higher-Kinded Data.

@l29ah В принципе даже библиотеку нашёл. И по старой доброй традиции она тащит за собой пол хэкеджа. Там правда довольно много великов как у меня.