An algebraic data type library (annotations)