Я бы не сказал что функторы это на порядок лучше (сравнивая с каким-нибудь хаскелем/идрисом).
Да и плюс они в стандартной библиотеке так не используются.
Они достаточно мощные для большего спектра тех вещей, что ожидаешь от системы типов современного языка, насколько я понимаю.
То есть внутри модулей можно объявлять хкт типы, можно строить логику на уровне типов и т.д. и т.п.