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