結果 : define abstract data types with examples