A typeclass and set of functions for working with newtypes
Development/Libraries/Haskell
Per Conor McBride, the Newtype typeclass represents the packing and unpacking
of a newtype, and allows you to operatate under that newtype with functions
such as ala.