Would it be possible to use more obvious names for the Left and Right
subtypes of Either? I know Left and Right are somewhat classic, but they
are also somewhat arbitrary and confusing.

The Elm language uses:

type Result error value
   = Ok value
   | Err error

https://guide.elm-lang.org/error_handling/result.html