added type alias Checked

[danbills]

I know @geoffjentry doesn't particularly like package objects, but I think this approach is superior to creating a package and named object to hold a single type alias.

Also @cjllanwarne had requested toValid and fromValid, but those are present in cats' toValidated and toEither via cats.syntax.either._.

[geoffjentry]

@danbills I don't mind them for things like this, provided they stay minimal.

edit: also, IMO this is the one thing they're good for :)

[mcovarr]

What is the intent with this?

[danbills]

@mcovarr to put this type alias in a common place.

the intent to use Either as opposed to ErrorOr is discussed here.

[mcovarr]

mokay. Hopefully we can have some sugar so it's not all toLeft and toRight though. Is the applicative usage the same as before?

[cjllanwarne]

LGTM

[danbills]

@mcovarr traverse looks almost the same. One has to call .toEither at the end of the traverse, as seen here.

[danbills]

also, toValidated and toEither is sugar, no? What would you prefer?