New post: 2013-05-30-implicits-unchained-type-safe-equality-part1