Add missing type arguments.

The type arguments may not be strictly necessary, but thepoint is to
have well typed example.