This expression lets you turn a type to its Subtype. wrap: into (Supertype e) e Method unwrap does the opposite thing.