It is well known that any $2\times 2$ unitary matrix $\mathbf{U}$ can be parametrized as $$\mathbf{U}=\begin{pmatrix} 1 & 0 \\ 0 & \mathrm{e}^{\mathrm{j}\beta_1}\end{pmatrix} \begin{pmatrix} \cos\alpha & -\sin\alpha \\ \sin\alpha & \cos\alpha\end{pmatrix}\begin{pmatrix} \mathrm{e}^{\mathrm{j}\beta_2}\ & 0 \\ 0 & \mathrm{e}^{\mathrm{j}\beta_3}\end{pmatrix}.$$
The question is, if $\mathbf{U}$ is Haar-distributed, what is the distribution of $\alpha$?