TcRnImplicitLift -> 846

[PPKFS]

[BinderDavid]

This error message corresponds to the -Wimplicit-lift warning:

Template Haskell quotes referring to local variables bound outside of the quote are implicitly converted to use lift`. 
For example, ``f x = [| reverse x |] becomes f x = [| reverse $(lift x) |]). 
This flag issues a warning for every such implicit addition of lift. 
This can be useful when debugging more complex staged programs, where an implicit lift` can accidentally conceal a variable used at a wrong stage.