Re: [Haskell-cafe] Re: "Functional dependencies conflict between instance declarations"

bf3@telenet.be wrote:

Are you kidding, or has automatic proving of programs evolved that far?

Aaarrrggghhhh, soon we're all out of job ;-)

"Experts" have been proclaiming this since high-level programming was invented many decades ago. We're still waiting. ;-)