
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi all,<div class=""><br class=""></div><div class="">Firstly, apologies for the radio silence - I’ve apparently been having some undiscovered email trouble (perhaps even since joining the committee), and so I’m now going to be using my usual, and hopefully far more reliable, email address.</div><div class=""><br class=""></div><div class="">With that said, I’d like to recommend <a href="https://github.com/ghc-proposals/ghc-proposals/pull/433" class="">proposal #433</a> for acceptance. The proposal does a good job of outlining the difference between this and the current TypeError mechanism, and I think the case is well justified. Certainly, the ability to bypass fundep checks in error case “instances” immediately brought to mind a handful of places in my own libraries that could benefit from this check.</div><div class=""><br class=""></div><div class="">I think the thread already contains a lot of committee activity, but I welcome any further comments!</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Tom</div></body></html>