GHC Handbook

Note [Re-quantify type variables in rules]

GHC/Tc/Gen/Sig.hs:1158 compiler 1 ticket 

Consider this example from #17710:

  foo :: forall k (a :: k) (b :: k). Proxy a -> Proxy b
  foo x = Proxy
  {-# RULES "foo" forall (x :: Proxy (a :: k)). foo x = Proxy #

References 0

This Note does not link to any other.

Referenced by 2