I think the parent is saying basically: Greenspun's eleventh rule Any sufficiently complex Lisp implementation contains an ad hoc, informally-specified

I think the parent is saying basically: Greenspun's eleventh rule Any sufficiently complex Lisp implementation contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Haskell's type system.