Add tests for indexed variants of monadic fold, zip and map.