Manually import Proxy from Data.Proxy

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