Documentation for 'itraverse' and 'ifolded'