! *sigh* So this is somewhat simpler...

: 2-recurrence ( n start-vals quot -- a[n] )
    [ first2 rot ] dip [ tuck ] prepose times nip ; inline