These are of type \$$\mathbf{Bool}\$$ because a \$$\mathbf{Bool}\$$-profunctor \$$\Phi : X \nrightarrow Y\$$ is the same as a functor \$$\overline{\Phi} : X^{op} \times Y \to \mathbf{Bool}\$$.