Now that GSOC comes again, I call you into attention one of the biggest problems that Haskell has to solve before being fully accepted in the IT industry: The (unnecessary) complexity of the DSL error messages.
There is some work being done:
The idea was to implement it in GHC after refining and testing it if I remember well. If some of this work can be carried out in a GSOC project, IMHO it should be given priority.
In case that this work is not going to be available in the short-medium term,
there is a ticket with some suggestions that can be carried out in a GSOC project, just in case any of you are interested into mentoring/carrying out this or any other solution to overcome this problem: