remove typeable derivation