@@ -502,10 +502,11 @@ vector. For example:
502502.. important:: Implicit Arguments and Scope
503503
504504 Within the type signature the typechecker will treat all variables
505− that start with an lowercase letter as an implicit variable. To
506− get the above code example to compile you will need to provide a
507− qualified name for ``testVec``. In the example above, we have
508− assumed that the code lives within the ``Main`` module.
505+ that start with an lowercase letter **and** are not applied to
506+ something else as an implicit variable. To get the above code
507+ example to compile you will need to provide a qualified name for
508+ ``testVec``. In the example above, we have assumed that the code
509+ lives within the ``Main`` module.
509510
510511
511512If the same implicit arguments are being used a lot, it can make a