properly annotate infix matches in instance declarations