механизм тайпклассов выражается почти однозначно через механизм имплиситов. Другая кодировка, то бишь. Так же и АДТ, там полное соответствие, но опять же, другая кодировка.
При всем желании не могу назвать костылями такие вещи
вот то что ты сверху пишешь
прям звучит как костыли "да это работает но вот тут и тут оговорки, вот тут синтаксис убогий, вот тут концепция иногда протекает" - костыли же