I think wishful thinking twisted the title in my head, into reading of a lisp with a type system like Haskell's.