Added type alias ∨ for