open-adt

Open algebraic data types. Reuse constructors in different types; add and remove constructors from values.