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