Derive some Typeable instances