Context bound for type parameters
Use of implicit conversion from Ordering to Ordered
Implicit evidence for type inference
Trying to grok implicit