Consulta

Al decir que 9 es de tipo a, estás precisando que a sea de la clase Eq. Pero además, 9 es un Num. Debes agregar también esa condición al tipar qux.

luis