semialign-extras

The Semialign typeclass lets us line up two structures of the same type. By combining this with the classes from the "witherable" package, we can derive a number of useful diff / patch / merge-style operations.