Open PalumboN opened 4 years ago
Agregar constraints al sistema de tipos (y a las definiciones de los tipos de los bloques) para que validen por typeclasses. Por ejemplo, dado que las funciones NO son Ord, no me debería dejar hacer:
Agregar constraints al sistema de tipos (y a las definiciones de los tipos de los bloques) para que validen por typeclasses. Por ejemplo, dado que las funciones NO son Ord, no me debería dejar hacer: