[Agda] Strange behaviour of instance search.

[effectfully]

Andreas Abel, I haven't found an existing issue, so I added one:

    https://code.google.com/p/agda/issues/detail?id=1532