diff --git a/docs/src/main/tut/kleisli.md b/docs/src/main/tut/kleisli.md index 0f9130634f..8e9383cd65 100644 --- a/docs/src/main/tut/kleisli.md +++ b/docs/src/main/tut/kleisli.md @@ -142,6 +142,7 @@ implicit def kleisliFlatMap[F[_], Z](implicit F: FlatMap[F]): FlatMap[Kleisli[F, Below is a table of some of the type class instances `Kleisli` can have depending on what instances `F[_]` has. +``` Type class | Constraint on `F[_]` -------------- | ------------------- Functor | Functor @@ -154,6 +155,7 @@ Split | FlatMap Strong | Functor SemigroupK* | FlatMap MonoidK* | Monad +``` *These instances only exist for Kleisli arrows with identical input and output types; that is, `Kleisli[F, A, A]` for some type A. These instances use Kleisli composition as the `combine` operation,