io.estatico
Base skeleton for building newtypes.
A newtype which is a subtype of its Repr.
Isomorphism for casting between a NewType and its Repr.