Hello, what ist the problem with instance declarations like the following:
instance C Int a => D Char [a]
Why are such declarations only allowed with -fallow-undecidable-instances in
GHC? How can they result in undecidability?
Best wishes,
Wolfgang
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
