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