updated Applicative Notes with (->) r