io.estatico
Base skeleton for building newtypes.
Safe type casting from A to B.
A newtype which is a subtype of its Repr.