Class AlgebraicDataTypes.Adt