I think the graph example of the article, instantiated using an adjacency matrix, shows nicely a need for generics that has nothing to do with operators.