Some Remarks on Data Types