<div dir="ltr">Dear Haskellers,<div>Some days ago Jurriaan Hage posted a video of our work on adding custom type error diagnosis to GHC. Here is a GHC proposal for incorporating this support in the mainline compiler:</div><div><br></div><div><a href="https://github.com/ghc-proposals/ghc-proposals/pull/59">https://github.com/ghc-proposals/ghc-proposals/pull/59</a><br></div><div><br></div><div>Suggestions, criticisms and ideas are welcome.</div><div><br></div><div>Alejandro</div></div>