This is `types.Prod.eta_prod`, I believe.