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.

WWW: http://hackage.haskell.org/package/newtype