Re: [Haskell-cafe] case switch covering all possible constructor but still fails

Hi Nathan,

DataAlt c | Right tag <- genDataConTag c -> return $ Cond tag

Are you sure, that genDataConTag always returns a 'Right'? If it returns a 'Left', than the pattern won't match. Greetings, Daniel