dup0 : a -- a a
     =: [ dip(3) ]