Typeable Numtypes.