I think it'd be better to make `type()`