Class AlgebraicDataTypes.Lazy