This method is useful if we want to modify a value inside a wrapper: rewrap: into (Supertype a) (Supertype o) -> into a o