This is a follow up question of: In scala, how to make type class working for Aux pattern?
Considering the following example:
