-record(t_union, {terms :: list(graded@internal@types:effect_term())}).