Consultas de Práctico

Hola José.

Te recomiendo la opción de recibir como parámetro una función de tipo A -> A -> bool, para la igualdad sobre elemento de un tipo genérico A. No es correcto usar Prop para definir funciones con significado computacional.

Saludos, Carlos