--- category: - Type System from: http://rosettacode.org/wiki/Constrained_genericity note: Object oriented