before resolving overlapping instances
does not compile