直和型とは 直和型(Union Type)は、複数の型のいずれか1つの値を取りうる型です。代数的データ型(Algebraic Data Types, ADT)の一種で、「この···