[Haskell-cafe] Instance match surprise

[Wojtek Narczyński]

On 01.02.2016 21:29, Tom Ellis wrote:
> If you want to know*why*  the instance contexts are ignored then you'll have
> to ask someone who knows more about Prolog:)
I think I know. There is really no way of knowing that there is no 
vicious little instance Eq ANY lurking deep down some obscure useless 
module. It is called: open world assumption.

-- 
Wojtek
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160201/3f552575/attachment.html>