Все равно остается проблема, как из нее выбрать метод, не зная структуры объекта.
В Haskell ее просто каждый раз при передаче в другой контекст собирают заново (динамически).
Это можно, но существенно менее эффективно и кучу жрет:

допусти у нас есть x: < a: int, b: int, c:int > и соотвественон - табличка с тремя методами.
Мы должны его передать туда, где требуется <a:int, b: int>, то есть - надо создать новую
табличку на два метода, перекопировать туда все и передать ее вместе с объектом.

Остается еще проблема сохранения объекта в структурах данных, Haskell-ное решение видимо пройдет, но
будет довольно сложным.