Create a monad for Either which follows the intent of Haskell's [Either][either-haskell]. [either-haskell]: https://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#t:Either
