coherence

Huygens Optics shows through a laser interference experiment that the question of a photon's size is really about coherence length. It argues that photons exist as energy exchanges between radiation and matter, not as little particles in free space.

Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances. It covers why uniqueness of instances matters for reasoning and refactoring.