The Steenrod algebra $\mathcal{A}^*$ is the algebra of cohomology operations for the spectrum $\mathrm{H}\mathbb{F}_2$, i.e. $\mathcal{A}^*\simeq (\mathrm{H}\mathbb{F}_2)^*(\mathrm{H}\mathbb{F}_2)$. The dual Steenrod algebra $\mathcal{A}^\vee _*$ can be interpreted as the coalgebra of homology cooperations, i.e. $\mathcal{A}^\vee _\ast\simeq (\mathrm{H}\mathbb{F}_2) _*(\mathrm{H}\mathbb{F}_2)$ and it coacts on mod 2 homology groups of cell complexes. This is a consequence of the perfect pairing between mod 2 homology and cohomology. Unfortunately, this does happens because $\mathbb{F}_2$ is a field, which means that we may in trouble if change our coefficients to something else. The situation may get even worse with generalized cohomology theories.

Now let us say we are given a generalized cohomology theory $E$. The ring $E^\ast E$ acts on cohomology groups of any space $X$: we have map $E^*E\otimes_{E^\ast} E^\ast(X)\rightarrow E^\ast(X)$, which is natural in $X$. The coaction may be a little tricky: it is not true that $E_\ast E$ coacts on $E_*(X)$. However, upon requiring that $E_\ast E$ is a flat $E_*$-module, we get a coaction as well. So let us say that we are in this situation. In addition to this we have a pairing $E^*E\otimes_{E_*}E_\ast E\rightarrow E_\ast$.

My questions is: do these pairings work well together or there are some tricky things that has to account for? In particular, $E_\ast E$ has distinct left and right $E_*$-module structures, and I fear this may come into play.