(bind-func intersection:[List{!a}*,List{!a}*,List{!a}*]* (lambda (l1 l2) (duplicates (append (unique l1) (unique l2)))))