  We prove a fixpoint theorem for contractions on Cauchy-complete
quantale-enriched categories. It holds for any quantale whose underlying
lattice is continuous, and applies to contractions whose control function is
sequentially lower-semicontinuous. Sufficient conditions for the uniqueness of
the fixpoint are established. Examples include known and new fixpoint theorems
for metric spaces, fuzzy metric spaces, and probabilistic metric spaces.
