Можно через TypeRep, а без Typeable понятно что нельзя
есть экзистенциальный (вроде) тип, у которого три конструктора.. я хочу заматчить 1 конструктор, а два других по дефолту пустить, речь о Meta из GHC.Generics
через классы типов пробовал заходить, но сломался на overlapped инстансах
case по конструктору обычный
я пока не представляю, как он должен выглядеть
Обсуждают сегодня