URI: trait
  % World Wide Web -- Uniform Resource Identifier

  introduces

    combine    : T, T -> T
    abs        : T -> Bool