Perhaps "generalization" is a good term for abstractions that removes things. I like to think of Haskell's many features as generalizations.
Perhaps "generalization" is a good term for abstractions that removes things. I like to think of Haskell's many features as generalizations.