[(list-unit (\x (list x)))
 (list-bind (\m (\f (apply concatenate (map f m)))))
 (list-zero '())
 (list-plus (\a (\b (append a b))))]