`he`: into e (Supertype e) Operator version of unwrap expression. You cannot use it standalone - only in composition with other Hom Functor operators (ho, hu, ha, hv).