NOTE: bounded polymorphism
Bounded polymorphism refers to existential quantifiers(∃), restricted to range over types of bound...
Tags: plt, language, haskell