<div dir="ltr">Hi,<div><br></div><div>I try to make my way through #7021 [1]. Unfortunately, there is nothing in the ticket about what should be expected from the code given as example.</div><div><br></div><div>I came with an implementation and I would like feedback from you guys. So, considering this snippet:</div>
<div><br></div><div>--</div><div><pre class="" style="background-color:rgb(247,247,247);border:1px solid rgb(215,215,215);border-top-left-radius:0.3em;border-top-right-radius:0.3em;border-bottom-right-radius:0.3em;border-bottom-left-radius:0.3em;margin-right:1.75em;margin-left:1.75em;padding:0.25em;overflow:auto;color:rgb(0,0,0);font-size:13px">
{-# LANGUAGE ConstraintKinds #-}

type IOable a = (Show a, Read a)

foo :: IOable a => a
foo = undefined</pre></div><div>-- </div><div><br></div><div>This is what I got now when pretty-printing TH.Info after reify "foo" call:</div><div><br></div><div>VarI Tuple.foo (ForallT [PlainTV a_1627398594] [TupleP 2 [AppT (ConT GHC.Show.Show) (VarT a_1627398594),AppT (ConT GHC.Read.Read) (VarT a_1627398594)]] (VarT a_1627398594)) Nothing (Fixity 9 InfixL)</div>
<div> </div><div>Does that sound right to you ?</div><div><br></div><div>Thanks for your time</div><div><br></div><div>-- Yorick</div><div><br></div><div>[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/7021">https://ghc.haskell.org/trac/ghc/ticket/7021</a></div>
</div>