A summary of my thoughts
Ordering[T] in scala
implicit lookup rule
typeclass and implicit
context bound
implicit conversion and implicit value