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}\\).