  We show that there is an effectively closed maximal eventually different
family of functions in spaces of the form $\prod_n F(n)$ for $F\colon
\mathbb{N} \to \mathbb{N}\cup\{\mathbb{N}\}$ and give an exact criterion for
when there exists an effectively compact such family.
