List
Ordering
earlier : Ordering element elementTag -> Ordering (List element) (Earlier elementTag)
Order List
s by elements first to last
import Order
import Int.Order
import List.Order
Order.with (List.Order.earlier Int.Order.up)
[ 11, 22, 33, 188 ]
[ 11, 22, 34 ]
--> LT
( EarlierTag, elementOrder )
Tag for earlier
Wrapper tag for Earlier