So, I misunderstood the instructions in the factor documentation. I need to annotate the call in foo: : foo ( f: ( a b -- n ) -- n ) wrap { 1 2 } swap call( seq -- n ) ;