Agda.Utils.Either
isLeft
isRight
allRight
tests