What about 'desugars to a call to add'