Canonical Structures: Implicits for the masses
Canonical Structures: Implicits for the masses