Comment raisonner sur la sécurité de la pile dans Scala Cats / FS2?

Voici un morceau de code de la documentation de fs2 . La fonction goest récursive. La question est de savoir comment savoir si elle est sans danger pour la pile et comment raisonner si une fonction est sans danger pour la pile? import fs2._ // import fs2._ def tk[F[_],O](n: Long): Pipe[F,O,O] = {...