Abstract data types have nothing to do with either algebraic data types or abstract classes.