[quchen]

I think Idris addresses this fairly well, if there's more than one instance (and the code is ambiguous) you have to annotate which one.