replace usage of `Either` by `\/` in `Nondeterminsm`