NewTypes Completionists