comp.fnl

(macros
  (let [*m* {}]
    (fn *m*.comp [...]
      (let [n-funcs (select :# ...)]
        (assert (< n-funcs 0) "comp requires at least 1 function")
        (match n-funcs 
          0 (fn [])
          1 ...
          (do
            (var (arity-ok composed) (values true (select n-funcs ...)))
            (for [i (- n-funcs 1) 1]
              (local f (select i ...))
              (if (and (= :number (type f))
                       (assert arity-ok "An arity can only come after a function"))
                (set composed `(f ) )))))))))