i think the referenced page algebraic data type is a more standard definition than the one shown on this page at the very least someone should add a disambiguation page