inferType