applicative future value