僕はDIだと思ってます。型による抽象化をするかどうかは本質ではないと思います。