  We introduce and study Dirichlet-type spaces $\mathcal D(\mu_1, \mu_2)$ of
the unit bidisc $\mathbb D^2,$ where $\mu_1, \mu_2$ are finite positive Borel
measures on the unit circle. We show that the coordinate functions $z_1$ and
$z_2$ are multipliers for $\mathcal D(\mu_1, \mu_2)$ and the complex
polynomials are dense in $\mathcal D(\mu_1, \mu_2).$ Further, we obtain the
division property and solve Gleason's problem for $\mathcal D(\mu_1, \mu_2)$
over a bidisc centered at the origin. In particular, we show that the commuting
pair $\mathscr M_z$ of the multiplication operators $\mathscr M_{z_1},$
$\mathscr M_{z_2}$ on $\mathcal D(\mu_1, \mu_2)$ defines a cyclic toral
$2$-isometry and $\mathscr M^*_z$ belongs to the Cowen-Douglas class ${\bf
B}_1(\mathbb D^2_r)$ for some $r >0.$ Moreover, we formulate a notion of
wandering subspace for commuting tuples and use it to obtain a bidisc analog of
Richter's representation theorem for cyclic analytic $2$-isometries. In
particular, we show that a cyclic analytic toral $2$-isometric pair $T$ with
cyclic vector $f_0$ is unitarily equivalent to $\mathscr M_z$ on $\mathcal
D(\mu_1, \mu_2)$ if and only if $\ker T^*,$ spanned by $f_0,$ is a wandering
subspace for $T.$
