3.4.16. Using Levity Polymorphism

TODO