Don't quantify implicit type variables when quoting type signatures in TH
[ghc.git] / testsuite / tests / th / T11797.stderr
1 class Foo_0 a_1
2     where meth_2 :: a_1 -> b_3 -> a_1