diff --git a/docs/src/main/tut/freemonad.md b/docs/src/main/tut/freemonad.md index e84d130f86a..1afe1d55a56 100644 --- a/docs/src/main/tut/freemonad.md +++ b/docs/src/main/tut/freemonad.md @@ -424,7 +424,7 @@ The above forgetful functor takes a `Monad` and: - finally keeps the *functor* part (e.g. the `map` function) By reversing all arrows to build the left-adjoint, we deduce that the -forgetful functor is basically a construction that: +free functor is basically a construction that: - takes a *functor* - adds the *applicative* part (e.g. `pure`)