Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml This story is developing.