The Nimble Type Inferencer for Common Lisp-84 (1990) | Hacker News Reader