Keep position info around when desugaring do notation