(wildcards get super, but this inference only looks at type params)