(.module:
  [lux #*
   [abstract
    [equivalence (#+ Equivalence)]]
   [data
    ["." sum]
    ["." product]]]
  ["." /// #_
   ["#." hash (#+ Hash SHA-1 MD5)]])

(type: #export Status
  #Unverified
  (#Partial (Either (Hash SHA-1)
                    (Hash MD5)))
  (#Verified (Hash SHA-1) (Hash MD5)))

(structure: any-equivalence
  (Equivalence Any)

  (def: (= _ _)
    true))

(def: #export equivalence
  (Equivalence Status)
  ($_ sum.equivalence
      ..any-equivalence
      ($_ sum.equivalence
          ///hash.equivalence
          ///hash.equivalence
          )
      ($_ product.equivalence
          ///hash.equivalence
          ///hash.equivalence
          )
      ))