cos-list-of-atomic: In the definition of list type '{0}', type '{1}' is an invalid list element type because it is not atomic ('{1}' is either a list type, or a union type which contains a list).

リスト型{0}の定義で，型{1}はアトミックではないため不正なリスト要素型です({1}はリストを含んでいるリスト型またはユニオン型のどちらかです)。