  Brouwer's fan theorem states that every bar is a uniform bar. We give an
overview of the status of this axiom in Bishop's constructive mathematics. In
particular, we describe the relationship between the fan theorem, the weak
K\"onig lemma, and the uniform continuity theorem.
