[ 1 2 3 ] ( 2 * ) map

: map [] map' ;
: map'
    (( [] _ Acc ))
    Acc reverse
    (( [ H T .] F Acc ))
    T F [ H F call Acc .] map'
;