Agda.Utils.Either
isLeft
isRight
tests