Made wildcard type inference less restrictive with still type correct solutions.