для другого типа?
Полиморфизм работает не так
Да, я понимаю. Тут xy проблема скорее всего, но охота в ней покапаться. И поэтому другой вопрос) Можно ли получить AST модуля?
Да. Хочу для тайпклассов из вичкрафта сделать наследование реализации, как у протоколов
Не, я с таким принципиально помогать не буду))
можно, если посмотреть, во что эти протоколы компилируются
Лучше так не делать, TypeClass, грубо говоря - это трейт. Не надо для него наследования.
да это не наследование, а реиспользование реализации
Тогда придется задействовать HKT, которого нет. Те получится велосипед с оговорками, лучше уж макрос тогда.
Просто напиши функции и вызывай их из тайпклассов.
Обсуждают сегодня