; FIXME: should not typecheck (just generates constraint b = c, which should not be allowed
pick : a b c -- a b c a
     =: [ dip(dip(dup)) ]