4 ms·

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.