Any

Any sufficiently complicated dynamically typed program contains an informally-specified, bug-ridden implementation of half of a type system.

Taylor Fausak