Manually import Proxy from Data.Proxy

While GHC 7.8 provides Proxy in Data.Data, previous versions do not.