Change the implicit parameters example to demonstrate implicit parameter lists.

Entire parameter lists can be marked implicit, as you can see below.