i won't repeat what others have pointed out about cl not being a pure functional language (it doesn't even try to be), but i will refer to you coalton [0], which is a functional haskell-like (monads included) language built on top of common lisp

[0] https://coalton-lang.github.io/