Efficient, type-safe, (almost) zero-allocation structural diffing.
See difficient for more information.