Somehow typeable gets smarter and stricter in ghc head 7.9, BUT in a way where the typeable instances for 7.8 and 7.9 are fundamentally incompatible