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