Data.Proxy.Proxy (GHC.Generics.:*:)
Data.Proxy.Proxy '(GHC.Generics.:*:)
Data.Proxy.Proxy '(GHC.Types.:)