直和型

tagged union

discriminated union