A transformation of arrows, preserving arr, >>> and first.
Typical usage in arrow notation:
proc p -> ... (|lift cmd|)