Agda.Utils.Either
whileLeft
caseEitherM
mapEither
mapLeft
mapRight
traverseEither
isRight
isLeft
fromLeft
fromRight
fromLeftM
fromRightM
maybeLeft
maybeRight
allLeft
allRight
maybeToEither