(;module:
  lux
  (.. eq))

## [Signatures]
(sig: #export (Hash a)
  {#;doc "A way to produce hash-codes for a type's instances.

          A necessity when working with some data-structures, such as dictionaries or sets."}
  (: (Eq a)
     eq)
  (: (-> a Nat)
     hash))