Added PolyKinds pragma to allow GEq and GCompare instances for things of kind other than (* -> *).

I've tested this on GHC 7.8.1 with dependent-sum and dependent-map; everything seems to work out just fine.