代数的データ型
ADT…Algebraic Data Types
直和型、直積型の総称