Sum

Converts an instance of the underlying type to an instance of the newtype.

Allows pattern matching on newtype instances to convert them back to instances of the underlying type.

Converts an instance of the newtype back to an instance of the underlying type.

Converts an instance of a type parameterized on the newtype back to an instance of a type parameterized on the underlying type. For example, this could be used to convert a list of instances of the newtype back to a list of instances of the underlying type.

Converts an instance of the underlying type to an instance of the newtype.

Converts an instance of a type parameterized on the underlying type to an instance of a type parameterized on the newtype. For example, this could be used to convert a list of instances of the underlying type to a list of instances of the newtype.