Если я к байндингу хочу привязать енкодер согласно его типу, я не могу это сделать компилятором т.к. нет механизма тайпклассов. Я могу это сделать субтайпингом, что сильно ограничивает возможности, либо передачей какого-то маппера, который будет связывать тип байндинга с его енкодером уже в рантайме.
Это вообще относится не конкретно к интерполяции, но здесь является отличным примером.