Make sure that the universal-argument keeps the type defined.