Type mismatch.
Required: Map<`T#1 (type parameter of a.b.c.D), a.b.c.A /* = G */>
Found: Map<`T#2 (type parameter of a.b.c.D.g), A#1 (type parameter of a.b.c.D)>