Work around lack of PolyKinds for Category in GHC 7.6 by using subst and refl not (.) and id