Yet another staged fixed-point combinator

Staged fixed-point combinator without staged recursion.