p
Так тебе что нужно, язык с вм или без?
Че ты прикопался, я же сказал из каких языков выберу
Сделать абстрактный тип на нём не стоит совершенно ничего, и более того, это даже предпочтительнее, поскольку обобщённый код имеет минимум зависимостей. В сущности, он имеет только те зависимости, которые необходимы.
Постарайся сделать типы наподобие
Foldable, Traversable и код сразу очистится от ненужных деталей.