(Scala) Allow Typeclasses to Declare Themselves Coherent | Hacker News Reader