Index of module types

A stream-like data structure should be lazy and support O(1) concatenation.