They can&#x27;t be written in Lisp well, or at all. Strong typing with inference can&#x27;t be bolted on. Monads that take advantage of this typing can&#x27;t be bolted on. Changing Lisp to have lazy semantics across the board ain&#x27;t gonna happen.<p>You might be able to write a Haskell interpreter from scratch that interacts with the Lisp environment, but you can&#x27;t feasibly transform Lisp itself.