  In this article, we prove that an analytic $2$-isometric left-inverse
commuting pair on a Hilbert space always possess wandering subspace property.
Along with this, we define Dirichlet-type space
$\mathcal{D}^{2}(\boldsymbol{\mu})$ over the bidisc $\mathbb D^2$ for any
measure $\boldsymbol{\mu}\in\mathcal{P}\mathcal{M}_{+}(\mathbb T^2).$ We prove
that the pair $(M_{z_1},M_{z_2})$ of multiplication by the coordinate functions
on $\mathcal{D}^{2}(\boldsymbol{\mu})$ is an analytic $2$-isometric
left-inverse commuting pair and satisfies $\langle z_1^m z_2^n, z_1^p z_2^q
\rangle_{\boldsymbol{\mu}} = \langle z_1^m, z_1^p \rangle_{\mathcal{D}(\mu_1)}
\langle z_2^n, z_2^q \rangle_{\mathcal{D}(\mu_2)},$ for any $m,n,p,q\in\mathbb
Z_{\geqslant 0}.$ Furthermore, the unitary equivalent class of the commuting
analytic $2$-isometric pair $(M_{z_1},M_{z_2})$ on
$\mathcal{D}^{2}(\boldsymbol{\mu})$ is identified using left-inverse
commutativity and the above property of inner product.
