diff --git a/theories/fin_sets.v b/theories/fin_sets.v
index d6c7c31a4479bf7b7bb18417ea46667c3d75844d..9696381f3e046e6dbe9661120eecffa7a0425eae 100644
--- a/theories/fin_sets.v
+++ b/theories/fin_sets.v
@@ -23,6 +23,7 @@ Definition set_map `{Elements A C, Singleton B D, Empty D, Union D}
     (f : A → B) (X : C) : D :=
   list_to_set (f <$> elements X).
 Typeclasses Opaque set_map.
+Global Instance: Params (@set_map) 8 := {}.
 
 Global Instance set_fresh `{Elements A C, Fresh A (list A)} : Fresh A C :=
   fresh ∘ elements.