Order Ints
Order
Int
Order Ints where lower means greater
import Order Order.with Int.Order.up 40 2 --> GT
Tag for up
up
Order Ints where higher means greater
import Order Order.with Int.Order.down 2 40 --> GT
Tag for down
down
OrderInts where lower means greater