Address Martin’s review

Author: julienrf

blog/_posts/2020-05-05-scala-3-import-suggestions.md

@@ -11,7 +11,7 @@ a complete type hierarchy.
 
 However, working with implicits can be a difficult experience. Thankfully, the
 Scala 3 compiler dramatically
-improves the quality of the error messages shown in case of missing implicit so
+improves the quality of the error messages shown in case of missing implicits so
 that it is easier to see _where_ an implicit argument could not be inferred
 by the compiler, and _how_ to fix the problem.
 
@@ -214,13 +214,14 @@ trait Traverse[F[_]] {
 trait Applicative[F[_]]
 ~~~
 
-Let’s assume that an implicit instance of type `Traverse[List]` and an implicit instance
-of type `Applicative[Option]` are defined in an object `Implicits`:
+Let’s assume that a given instance of type `Traverse[List]` and a given instance
+of type `Applicative[Option]` are defined in an object `Givens` (given instances
+are the new way to define implicit instances in Scala 3):
 
 ~~~
-object Implicits {
-  implicit def traverseList: Traverse[List] = ???
-  implicit def applicativeOption: Applicative[Option] = ???
+object Givens {
+  given traverseList as Traverse[List] = ???
+  given applicativeOption as Applicative[Option] = ???
 }
 ~~~
 
@@ -274,10 +275,10 @@ Compiling with Scala 3, on the other hand, provides much better assistance:
 |
 |The following import might make progress towards fixing the problem:
 |
-|  import Implicits.traverseList
+|  import Givens.traverseList
 ~~~
 
-Let’s apply the suggestion and import `Implicits.traverseList`. Now, the compiler
+Let’s apply the suggestion and import `Givens.traverseList`. Now, the compiler
 provides the following error:
 
 ~~~
@@ -288,15 +289,15 @@ Error:
 |
 |The following import might fix the problem:
 |
-|  import Implicits.applicativeOption
+|  import Givens.applicativeOption
 ~~~
 
-If we apply the new suggestion (importing `Implicits.applicativeOption`) our
+If we apply the new suggestion (importing `Givens.applicativeOption`) our
 program compiles!
 
-The Scala 3 compiler first suggested importing `Implicits.traverseList`, so
+The Scala 3 compiler first suggested importing `Givens.traverseList`, so
 that the extension method `traverse` becomes available. Then, it suggested
-importing `Implicits.applicativeOption`, which was required to call the `traverse`
+importing `Givens.applicativeOption`, which was required to call the `traverse`
 operation. 
 
 ## Summary