[vindarel]

There is! Coalton: https://github.com/coalton-lang/coalton

> Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp