Для тех, кто не понял про что, там идет речь о том, что для абстрактных варыжений надо, чтобы была таблица дополнительных методов алгебры, которые можно использовать в операциях. Скажем, какой-нибудь синус. Ну и базовая идея, что эти методы идут просто дополнительной таблицей или реализуются в классе алгебры. А Ярослав все хочет, чтобы они автоматически находились по коду.
но от каррирования же ничего плохого не происходит, кроме боксинга (если JIT тупой)