Agda.Utils.Either

whileLeft

caseEitherM

mapEither

mapLeft

mapRight

isLeft

isRight

fromLeft

fromRight

allRight

tests