Argument type list mismatch.
Actual type: {{<integer> <integer> <real>} (:simple-proc {(:union <integer> {}) <boolean> (:union (:procedure {(:procedure {(:union <integer> {}) <boolean> (:union (:procedure {/cycle/} (:union {{<integer> . <integer>} . /cycle/} {}) pure) {})} (:union {{<integer> . <integer>} . /cycle/} {}) pure)} (:union {{<integer> . <integer>} . /cycle/} {}) pure) {})} (:union {{<integer> . <integer>} . /cycle/} {}) pure) (:param-proc [%38 %39] {(:procedure {(:union %38 {}) <boolean> (:union (:procedure {/cycle/} %39 pure) {})} %39 pure)} %39 pure)}
Declared type: {(:union {<integer> . /cycle/} {}) (:procedure {(:union <integer> {}) <boolean> (:union (:procedure {/cycle/} (:union {{<integer> . <integer>} . /cycle/} {}) pure) {})} (:union {{<integer> . <integer>} . /cycle/} {}) pure) (:procedure {(:procedure {(:union <integer> {}) <boolean> (:union (:procedure {/cycle/} (:union {{<integer> . <integer>} . /cycle/} {}) pure) {})} (:union {{<integer> . <integer>} . /cycle/} {}) pure)} (:union {{<integer> . <integer>} . /cycle/} {}) pure)}
Error: arg-list-type-mismatch
