Qual è il nome dell'operatore che si traduce da $ x destrorrow (y destrorw z) $ a $ y destrorrow (x destrorrow z) $?

Question

C'è un nome standard per l'operatore che prende una funzione $ f: x destrorrow (y destrorrow z) $ e restituisce la funzione $ f ': y destrorrow (x destrorrow z) $ Questo soddisfa, per ogni $ y in y $ e $ x in x $, $ f '(y) (x) = f (x) (y) $?