17 Oct
2005
17 Oct
'05
1:16 p.m.
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