Making compilable with GHC 7.7.

Data.Typeable of GHC 7.7 also provides Proxy which conflicts with
local Proxy.
Merge pull request #4 from kazu-yamamoto/master

Making compilable with GHC 7.7.