complete fixing inferType to use full inference