Agda.Utils.Either

mapEither

mapLeft

mapRight

isLeft

isRight

allRight

tests