haskell - usando - ¿Por qué este código que utiliza UndecidableInstances se compila, luego genera un