Recently, using the name `empty` has led to strange disambiguation bugs, probably due to a conflict with `empty` from `Alternative`.
Recently, using the name
emptyhas led to strange disambiguation bugs, probably due to a conflict withemptyfromAlternative.