Modify the type of the asyncAnd product lattice