The Coq mailing list

[Ilmārs Cīrulis <ilmars.cirulis AT gmail.com>]

Let's suppose that I'm too lazy and want to use the function

Definition id (t: Type) (l: list t) := l

in lazy way:

Definition test := id (cons 1 nil)

(without argument t, because it can be found from the type of the list)

How can I make it in such way, if possible?