This method lets you derive a type to its Supertype. unwrap: into e (Supertype e) Method wrap does the opposite thing. Operator version of unwrap expression (he): (`he`): into e (Supertype e)