<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div>Hello, <br></div><div><br></div><div>We tried the following code with ghc-8.6.1<br></div><div><br></div><div>testFailure :: Char<br>testFailure =<br>  let x = Prelude.id _<br>  in  x</div></div><div dir="ltr"><br></div><div>which gave the following suggestion </div><div><br></div><div dir="ltr">/home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:83:22: error:<br>    • Found hole: _ :: a<br>      Where: ‘a’ is a rigid type variable bound by<br>               the inferred type of x :: a<br>               at /home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:83:7-22<br></div><div dir="ltr"><br><div>And then this</div><div><br></div><div>testSuccess :: Char<br>testSuccess = _</div><div><br></div><div>which gave a much better suggestion</div><div><br></div><div>/home/sreenidhi/Work/typeql/typeql-dbrecord/test/Test/Database/Postgres/Read/Combinator.hs:87:15: error:<br>    • Found hole: _ :: Char<br>    • In the expression: _<br>      In an equation for ‘testSuccess’: testSuccess = _<br></div><div><br></div><div>Is there any way to get better suggestions with 'let' version? <br></div><div><br></div><div><br></div><div><br></div></div></div></div></div></div>