More type inference matching.