;; also sometimes called flatten (bind-func join:[ADList{!a}*,ADList{ADList{!a}*}*]* (lambda (M) (ADCons$ M (xs xss) (append xs (join xss)) (ADNil))))