"Haskell is the king of purely-functional, lazy, statically-typed languages."

Add enough qualifiers and every language is the king of something.