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