Source: https://courses.cs.washington.edu/courses/cse331/12sp/lectures/lect13-polymorphism.pdf