I wonder how far one could get combining the strengths of Haskell's bidirectional type system and Dlang's (http://dlang.org/ http://dlang.org/) efficiency into

I wonder how far one could get combining the strengths of Haskell's bidirectional type system and Dlang's (http://dlang.org/ http://dlang.org/) efficiency into Lisp to get a fast language.