Coalton: Efficient, Statically Typed Lisp with Haskell and OCaml Ideas (coalton-lang.github.io)
Coalton is a statically typed functional programming language that combines ideas from Haskell, Scheme, and OCaml to improve Common Lisp. It has released a new language manual and was featured in a talk at ELS 2025.