mokus0/dependent-sum — pull request #4 by kwf (2014-06-24 18:35:15+00:00)
Title: 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.