retract, iter and iterM for F (via FT)