Applicative (Request a b)