[Haskell-cafe] Domain specific error diagnosis in Haskell, a proposal