3.4.15. Using Levity Polymorphism

TODO