Newtypes are less divergent and such