minor improvements to tailRecM doc (#1575)

typelevel · Mar 29, 2017 · a57ae41 · a57ae41
1 parent 18c906b
commit a57ae41
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/src/main/tut/typeclasses/monad.md b/docs/src/main/tut/typeclasses/monad.md
@@ -75,6 +75,8 @@ universe.reify(
 ).tree
 ```
 
+### tailRecM
+
 In addition to requiring `flatMap` and `pure`, Cats has chosen to require
 `tailRecM` which encodes stack safe monadic recursion, as described in
 [Stack Safety for Free](http://functorial.com/stack-safety-for-free/index.pdf) by
@@ -102,6 +104,7 @@ implicit val optionMonad = new Monad[Option] {
 }
 ```
 
+More discussion about `tailRecM` can be found in the [FAQ](../faq.html#tailrecm).
 
 
 ### ifM