Experimental warning.

This type application *may be* unnecessary. This means the call can type-check
*without* using an explicit instantiation, but this doesn't guarantee that the
right value was picked, meaning something may be missing later on (e.g. a
permission).