`he`: into e (Supertype e)

Operator version of unwrap expression.