Lists with Ordering, Implicit Parameter