Infer context for Data instance of (data Foo f = Foo (f Bool) (f Int))

(based on WIP -XQuantifiedConstraints)

Could GHC infer the context for deriving Data (Foo f) (#12245 (closed))?

data Foo f = Foo (f Bool) (f Int)
  deriving stock Data

{-
Generates:

instance (Typeable f, (forall xx. Data xx => Data (f xx))) => Data (Foo f)
-}

Trac metadata

Trac field	Value
Version
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture