online - Haskell/GHC UndecidableInstances-¿Ejemplo para verificación de tipo sin terminación?