: Y(f)   #[ f Y f perform ] ;