For many popular type systems with generics, not really; e.g. see http://www.cs....

		seanmcdirmid on June 23, 2015 \| parent \| context \| favorite \| on: A Path to Enlightenment in Programming Language Th... For many popular type systems with generics, not really; e.g. see http://www.cs.cornell.edu/~ross/publications/mixedsite/mixed...