(flip -> f) = \x y -> x - y
@dec def foo(): ...
def foo(): ... foo = dec(foo)
(dec -> f) = ...
f = dec (...)
-XViewPatterns