Agda.Utils.Either

whileLeft

caseEitherM

mapEither

mapLeft

mapRight

isLeft

isRight

allRight

tests