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