  We define a notion of a rotund quasi-uniform space and describe a new direct
construction of a (right-continuous) quasi-pseudometric on a (rotund)
quasi-uniform space. This new construction allows to give alternative proofs of
several classical metrizability theorems for (quasi-)uniform spaces and also
obtain some new metrizability results. Applying this construction to
topological monoids with open shifts, we prove that the topology of any
(semiregular) topological monoid with open shifts is generated by a family of
(right-continuous) left-subinvariant quasi-pseudometrics, which resolves an
open problem posed by Ravsky in 2001. This implies that a topological monoid
with open shifts is completely regular if and only if it is semiregular. Since
each paratopological group is a topological monoid with open shifts these
results apply also to paratopological groups.
