TL; DR: Я хочу реализовать объединение для полиморфизма строк, используя type family RIso (a ::...

У меня есть тип данных, который выглядит как data G f n a where G :: a -> G f n a -> G f (f...

Рассмотрим следующий пример. У меня есть монада MyM, которая просто StateT {-# LANGUAGE...