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