diff --git a/theories/base.v b/theories/base.v
index ccd30423724ba4dc656018139d82d2dc46473776..65233ddfe3a3be343c6437f242577bc10dbd6936 100644
--- a/theories/base.v
+++ b/theories/base.v
@@ -422,6 +422,8 @@ Notation "p .1" := (fst p) (at level 10, format "p .1").
 Notation "p .2" := (snd p) (at level 10, format "p .2").
 
 Instance: Params (@pair) 2.
+Instance: Params (@fst) 2.
+Instance: Params (@snd) 2.
 
 Notation curry := prod_curry.
 Notation uncurry := prod_uncurry.