uld
    be used for this concept instead. Type checkers should treat the two
    equivalently.
    ú