more strongly state the case against newtype abuse