A lab on polymorphism, based on an old lab from Espresso.