[Jprogramming] Atop u at v with v of negative monadic rank

[Jose Mario Quintana]

I just want to add my name to the list of those who would support the interpretation change of (f " g) to 

f " g y  <->  f "( g y) y    ( and x f " g y <-> x f " (x g y) y )

from the rarely used (or useless, depending on your point of view) current definition.