This module defines a Default instance for the type DList.
