Source: http://www.cs.umd.edu/class/summer2014/cmsc330/lectures/18-polymorphism.pdf