I think <https://github.com/arrow-kt/arrow/pull/94...

# arrow-contributors

[jacob]

I think https://github.com/arrow-kt/arrow/pull/942/files is now in a good place to discuss. I changed the Either impl to match the scalaz impl on requireing that for Either<L, R> Semigroup both L and R must be Semigroups. I can walk that requirement back and have L either overwrite or something if that's desired