Is There a Place for Liquid Haskell With GHG?

In an ideal world, you would still want to write only the Liquid Haskell type signature. But I really want to be able to see that abstracted version too. So for me, as far as increasing our ability to give statically guaranteed theorems about Haskell programs, my money's on Liquid Haskell at the moment. And I hope that the Haskell community can sort of cohere around that because it's such a big engineering effort to turn that kind of aspiration into reality. It's got to be more than just Ranjet and Nicky and a few others - we all need to pile in there.