For extremists only: containers, calculus, comonads and combinatorics ahoy

Automatic differentiation always tickles me. Such a beatiful connection between continuous and discrete mathematics. Says almost nothing about calculus, but shows how calculus and discrete math share a common component.