type of implicit left arg depends on type of right arg.
type matching of implicit left arg.