don't look for unimpled methods contravariantly