Log Message:
Import newtype-0.2 as wip/hs-newtype.

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.