Я хотел бы научить GHC выводить новые классы типов.Возможно ли сделать это внешне без использования Generic или TemplateHaskell?Мол, с исходными плагинами или чем-то подобным.Поэтому я могу написать:
data MyType = ...
deriving MyTypeClass
ОБНОВЛЕНИЕ: Соответствующий билет GHC с обсуждением: