Promesses de rémunération de la queue et de scalaz

Question

Je joue actuellement avec des futures non bloquant Scalaz AKA. Promesses. J'ai du mal à faire de la fonction suivante-rédaction de la fonction:

@tailrec
private def repeat( res: Promise[I] ):Promise[I] =
  res map p flatMap { 
    (b:Boolean) =>
      if( b ) repeat( res flatMap f ) else res
  }

où p est un prédicat avec le type I=>Boolean et f est une fonction simultanée avec le type I=>Promise[I].

La méthode se compile sans annotation.

Des indices? Merci