I think the way to do this is:
`def ordering: Ordering[K]` but you might get it implicitly one instances.