: X(me, f)   #[ me f me perform f perform ] ;
: Y(f)       #X f X ;