∀ {α : Type u} [inst : BEq α] [inst_1 : Hashable α] [EquivBEq α] [LawfulHashable α] {l : List α} {k fallback : α},
  l.contains k = false → (Std.DHashMap.Raw.Const.unitOfList l).getKeyD k fallback = fallback