A ppx for defining types by their differences from existing types. - View it on GitHub