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