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