Re-indent correclty the recursive functors