Haskell is a complex language that would be very hard to target. What do you think of targeting the Haskell Core, a high-level intermediate representation that GHC uses? It is much simpler than Haskell itself and would preserve the opportunities for parallelization.