Comment by dschiptsov

I am not sure that this assertion is true for user-defined ADTs, which is the essence of programming.