OrdList
data OrdList a