The Cantor space ℬ of functions ℕ → {0,1} is compact
It too is exhaustible, for reasons similar to ℕ*