Module structs

The concrete iterator types.