結果 : define derived data type