Promesse di ricursione della coda e Scalaz

Question

Attualmente sto giocando con futures non bloccante Scalaz. Promesse. Sto lottando per rendere la seguente funzione-RECURSIVA:

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

dove p è un predicato con tipo I=>Boolean e f è una funzione simultanea con tipo I=>Promise[I].

Il metodo si compila senza annotazione.

Qualche suggerimento? Grazie