Creating an `EitherOrBoth` with a `both` constructor using effect internals
Trying to create an
EitherOrBoth, but to make the both constructor like the left constructor requires using some effect internals like CommonProto. I don't think I can use Data.tagged because the Either type is 2nd kinded right?
