applicative equality