как TypeApplication?
нейм в данном случае это что?
В общем случае нет, но можно конечно класс написать class KnownName a where knownName :: Name instance KnownName Integer where knownName = ‘’Integer и кучу инстансов таких
Обсуждают сегодня