applicative test