<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">See 
#21822 (<a href="https://gitlab.haskell.org/ghc/ghc/-/issues/21822">https://gitlab.haskell.org/ghc/ghc/-/issues/21822</a>) and <a href="https://gitlab.haskell.org/ghc/ghc/-/issues/14190" title="Typeable imposes seemingly redundant constraints on polykinded instances" style="color:rgb(16,104,191);margin-top:0px;text-decoration:none" target="_blank">#14190</a>/<a href="https://gitlab.haskell.org/ghc/ghc/-/issues/16627" title="Trouble resolving Typeable 'LiftedRep" style="color:rgb(16,104,191);text-decoration:none" target="_blank">#16627</a>!</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 6 Jul 2022 at 15:01, Richard Eisenberg <<a href="mailto:lists@richarde.dev" target="_blank">lists@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><br><div><br><blockquote type="cite"><div>On Jul 6, 2022, at 8:00 AM, Chris Dornan <<a href="mailto:chris@chrisdornan.com" target="_blank">chris@chrisdornan.com</a>> wrote:</div><br><div><span style="font-family:Helvetica;font-size:14px;font-style:normal;font-variant-caps:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none;float:none;display:inline">Richard are you satisfied that my example program is invalid under PolyKinds?</span></div></blockquote></div><br><div>Yes. But I think as we've started to piece together, the real problem in this example is a missing superclass constraint on Typeable, not a fundamental shortcoming of PolyKinds. (I do acknowledge that extra polymorphism can introduce trouble, but given the fact that PolyKinds introduces parametric polymorphism -- unlike the ad hoc polymorphism of OverloadedStrings -- I think these cases should be rare.)</div><div><br></div><div>It would be interesting to see whether fixing Typeable in this way fixes other problems Chris has run into.</div><div><br></div><div>Richard</div></div></blockquote></div>