Type mismatch applying parametrized procedure assoc-general.
Actual type: {<symbol> (<singleton> (<singleton> (:union {{<symbol> . (:singleton ...)} . /cycle/} {}))) {} {}}
Declared type: {<symbol> (:union (<singleton> (<singleton> {{<symbol> . (:singleton ...)} . (:union /cycle/ {})})) {}) {} (:procedure {<symbol> <symbol>} <boolean> pure)}
Error: param-proc-type-mismatch
