I say this half tongue in cheek, but maybe we need a new law like "Greenspun's Converse": Any sufficiently large dynamically typed codebase contains an ad hoc, informally-specified, gradually-adopted, optional implementation of half of Haskell’s type system.