don't try to instantiate parametric types in inference - just ignore them (seems best possible without complicating things a lot)