Reduce Kleisli.ask Monad constraint to Applicative