Set[A: (Hashable val & Equatable[A])]

type Set[A: (Hashable val & Equatable[A])] is
  HashSet[A, HashEq[A] val] val

Type Alias For