Uniform topologies on types · Study