Let $k$ be an algebraically closed field, it is well known that $\mathbb P^1$ is simply connected, but how about smooth projective surfaces $X$ with a smooth morphism to $\Bbb P^1$? 

Except the case $X$ is a product of curves or a projective bundle like Hirzebruch surfaces, could we classify all such $X \rightarrow \Bbb P^1$ ? What about higher dimensional cases?

Motivation: Shafarevich conjecture over function field.