Both Typeable1 and Typeable2 are simply Typeable for GHC v7.7 and up