Нубский вопрос.
Есть ли в Nemerle некое подобие специализации шаблонов C++ или возможность это красиво реализовать?

Приведу пример. Есть некий дженерик ISome['a]. Он вызывается из дженерикового же метода method['a](). В частных реализациях ISome['a] (например для int) есть отличительные особенности. Сейчас приходится использовать наследование и фабрики для выбора нужного типа из иерархии.

Если шаблоны отсутствуют, то мне в голову приходит только один вариант:
При компиляции искать все места типа ISome[some_type](), смотреть есть ли в иерархии типов специализированный дженерик для данного типа some_type, и если он находится — то подставлять его вместо исходного.

Вопрос: Данный подход реализуем или это только мои мечты?