Explanation: Unions may not have two alternatives that share the same name For example, the following expressions are $_NOT valid: ┌─────────────────────────────┐ │ < foo = True | foo : Text > │ Invalid: ❰foo❱ appears twice └─────────────────────────────┘ ┌───────────────────────────────────────┐ │ < foo = 1 | bar : Bool | bar : Text > │ Invalid: ❰bar❱ appears twice └───────────────────────────────────────┘ You have more than one alternative named: ↳ $txt0