Imagine putting all of science on a common (diagrammatic) footing, implemented down to the level of types so you can immediately perform calculations...mouthwatering.