Newtypes are better than abstract type synonyms