[Haskell] A puzzle and an annoying feature

[Lennart Augustsson]

ajb at spamcop.net wrote:
> G'day all.
> 
> Quoting Lennart Augustsson <lennart at 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