codensity: add Typeable instance