Re-reading "A Decision Procedure for Common Lisp's SUBTYPEP Predicate" by
Henry G. Baker again in preparation to finally add the CONS type specifiers to the procedure (most notably in ECL that implements this method). It is really cool and easy to follow paper.

#lisp #ecl