I used to think interfaces in software allowed for a kind of polymorphism as end in itself, but now I realize that, to the extent that they do that, the larger goal is dependency inversion