-->
You cannot use this operator standalone, only in operator composites.
Standalone version is called he'hv operator.
It's an infix version of unwrap morphism.