make instance search work on the reduced type