@ajvondrak you might be interested in the ``smart-with`` combinator I wrote that infers the quotation's stack effects and curries the object so that it is on the stack below those arguments.

http://docs.factorcode.org/content/word-smart-with,combinators.smart.html