(bind-func append:[ADList{!a}*,ADList{!a}*,ADList{!a}*]* (lambda (as bs) (ADCons$ as (x xs) (ADCons x (append xs bs)) bs)))