\/ LYAHFGG: The Either e a type on the other hand, allows us to incorporate a context of possible failure to our values while also being able to attach values to the failure, so that they can describe what went wrong or provide some other useful info regarding the failure. We know Either[A, B] from the standard library, but Scalaz 7 implements its own Either equivalent named \/: sealed trait \/[+A