Agda.Utils.Either

whileLeft

caseEitherM

mapEither

mapLeft

mapRight

traverseEither

isLeft

isRight

fromLeft

fromRight

maybeLeft

maybeRight

allLeft

allRight

maybeToEither