[tadfisher]

Haskell on the JVM is a well-explored niche with lots of working but abandoned projects (Eta, Frege, etc). Getting a JVM backend into GHC would fulfill the "pure/lazy/FP" space, which is notably absent from your list.

[jpgvm]

Oh that is a good one too. I would actually kind of dig that if one could get off the ground.