Agda.Utils.Either
whileLeft
caseEitherM
mapEither
mapLeft
mapRight
isLeft
isRight
allRight
tests