Well-typed ranges of Arenas.
Arena
This module defines the Range type, representing a contiguous range of entries in an Arena.
Range