 There are many more of such examples from intuitionistic reverse mathematics. Especially in the larger field of constructive reverse mathematics there are many results of this nature that are also relevant from the intuitionistic point of view.