Хм, мне кажется, или tagless final и dependency rejection про разное?🤔 Да, оба про фп, но TF предлагает херачить интерфейсы SomeAlg, потом реализовывать интерпретаторы для них и носить с собой, а для этого уже нужен какой никакой di, ручками разруливать не хочется.