After inserting dictionaries, the compiler removes all occurences of newtype declarations. Applications 'N x' in patterns and expressions, where N is a newtype constructor, are replaced by a x. The newtype declarations are replaced by type synonyms and partial applications of newtype constructors are changed into calls to id.