<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">There is a proposal about that <a href="https://github.com/ghc-proposals/ghc-proposals/pull/43" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>43</a></div></blockquote><div><br></div><div>Thanks for the link. Added my 2 cents there: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-276283404">https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-276283404</a></div><div><br></div><div>While this is being considered for inclusion in core GHC, can a linter help, in the meantime?</div><div><br></div><div>-- Saurabh.</div></div>
</div></div>