{α β : Type w} →
  [inst : BEq β] →
    [inst_1 : Hashable β] →
      {m : Type w → Type w'} →
        [Monad m] →
          [inst_3 : Std.Iterator α m β] →
            [Std.Iterators.Finite α m] → [Std.IteratorLoop α m m] → Std.IterM.Total m β → m (Std.HashSet β)