Making compilable with GHC 7.7.

Data.Typeable of GHC 7.7 also provides Proxy which conflicts with
local Proxy.