Source: https://cs.gmu.edu/~mabdulla/510/slides/polymorphism.pdf