Proxy is now defined in Data.Typeable
Proxy comes from Data.Typeable, Typeable1/2 no longer exist