Deriving typeable instances on new and old series factors for safecopy