1 using Applicative ((->) a)