рантайме. А можно ли сделать рефлексию по тайпклассу?
что из чего надо получить?
Ну можно сделать case eqT @a @Int of ... в случае типа. А можно ли как-то сделать аналог чтобы проверить, реализован ли для а тайпкласс?
по-хорошему, нельзя этого хотеть. по-плохому, есть хаки. есть простой способ в TemplateHaskell.
Обсуждают сегодня