why not:
```scala
case class CyclicIncrement[K](side: Side, value: K)(implicit val ordering: Ordering[K])
```
What else are we getting here?