diff --git a/docs/src/main/tut/datatypes/freeapplicative.md b/docs/src/main/tut/datatypes/freeapplicative.md
index 48c0312bbf..5c0448c24f 100644
--- a/docs/src/main/tut/datatypes/freeapplicative.md
+++ b/docs/src/main/tut/datatypes/freeapplicative.md
@@ -60,14 +60,13 @@ import cats.implicits._
 // a function that takes a string as input
 type FromString[A] = String => A
 
-val compiler =
-   λ[FunctionK[ValidationOp, FromString]] { fa =>
-      str =>
-        fa match {
-          case Size(size) => str.size >= size
-          case HasNumber  => str.exists(c => "0123456789".contains(c))
-        }
-   }
+val compiler = new FunctionK[ValidationOp, FromString] {
+  def apply[A](fa: ValidationOp[A]): FromString[A] = str =>
+    fa match {
+      case Size(size) => str.size >= size
+      case HasNumber  => str.exists(c => "0123456789".contains(c))
+    }
+}
 ```
 
 ```tut:book
@@ -101,15 +100,14 @@ import scala.concurrent.ExecutionContext.Implicits.global
 // recall Kleisli[Future, String, A] is the same as String => Future[A]
 type ParValidator[A] = Kleisli[Future, String, A]
 
-val parCompiler =
-  λ[FunctionK[ValidationOp, ParValidator]] { fa =>
-    Kleisli { str =>
-      fa match {
-        case Size(size) => Future { str.size >= size }
-        case HasNumber  => Future { str.exists(c => "0123456789".contains(c)) }
-      }
+val parCompiler = new FunctionK[ValidationOp, ParValidator] {
+  def apply[A](fa: ValidationOp[A]): ParValidator[A] = Kleisli { str =>
+    fa match {
+      case Size(size) => Future { str.size >= size }
+      case HasNumber => Future { str.exists(c => "0123456789".contains(c)) }
     }
   }
+}
 
 val parValidator = prog.foldMap[ParValidator](parCompiler)
 ```
@@ -127,11 +125,12 @@ import cats.implicits._
 
 type Log[A] = Const[List[String], A]
 
-val logCompiler =
-  λ[FunctionK[ValidationOp, Log]] {
+val logCompiler = new FunctionK[ValidationOp, Log] {
+  def apply[A](fa: ValidationOp[A]): Log[A] = fa match {
     case Size(size) => Const(List(s"size >= $size"))
-    case HasNumber  => Const(List("has number"))
+    case HasNumber => Const(List("has number"))
   }
+}
 
 def logValidation[A](validation: Validation[A]): List[String] =
   validation.foldMap[Log](logCompiler).getConst