Re: [Haskell] A puzzle and an annoying feature

ajb@spamcop.net wrote:

G'day all.

Quoting Lennart Augustsson <lennart@augustsson.net>:

...

Here is a small puzzle.

You can understand this one because the closed world hypothesis doesn't apply to type context inference.

I have no problem understanding the technical reason for this. But I now think it's a poor design. -- Lennart