Agda.Utils.Either

isLeft

isRight

allRight

tests