How about a type system more expressive than Haskell 95, completely interoperable with Lisp? [1] What you suggest exists, but it's not the reason people turn a

How about a type system more expressive than Haskell 95, completely interoperable with Lisp? [1] What you suggest exists, but it's not the reason people turn away from Lisp. Lower hanging fruit exists. "I have to learn Emacs? No thanks." itself is an impassé for a vast majority of people who might be a candidate to try Lisp. [1] https://github.com/coalton-lang/coalton https://github.com/coalton-lang/coalton