newtype-0.2.1.0: A typeclass and set of functions for working with newtypes.

# newtype-0.2.1.0: A typeclass and set of functions for working with newtypes.

Per Conor McBride, the `Newtype` typeclass represents the packing and unpacking of a `newtype`, and allows you to operate under that `newtype` with functions such as `ala`. See Control.Newtype for documentation and examples.

Signatures

Modules

- Control
  Submodules
  - Control.Newtype