Ensuring correct applicative operators