minor
nats and parameterized ordering
ordering as a type class