diff --git a/theories/list.v b/theories/list.v
index ab2bb351bdaeff7438cdc212c75b127959d1e1ac..ab606e0012cd10923bd9e138224f51d0faa91929 100644
--- a/theories/list.v
+++ b/theories/list.v
@@ -18,10 +18,12 @@ Notation tail := tl.
 Notation take := firstn.
 Notation drop := skipn.
 
+Arguments head {_} _ : assert.
 Arguments tail {_} _ : assert.
 Arguments take {_} !_ !_ / : assert.
 Arguments drop {_} !_ !_ / : assert.
 
+Instance: Params (@head) 1 := {}.
 Instance: Params (@tail) 1 := {}.
 Instance: Params (@take) 1 := {}.
 Instance: Params (@drop) 1 := {}.