Implicits Inspected and Explained by Tim Soethout