Belyi's theorem states that every smooth projective algebraic curve $C$ defined over $\bar{\mathbb{Q}}$
admits a map $C\to\mathbb{P}^1$ ramified only over $0,1,\infty$.
Is there an analogue of this theorem with $\mathbb{Q}$ replaced by a global function field (i.e. finite extension $\mathbb{F}_q(t)$)?