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.If you want to know *why* the instance contexts are ignored then you'll have to ask someone who knows more about Prolog :)