semantically, `Either<Nothing, Either<Throwa...
# arrow
p
semantically,
Either<Nothing, Either<Throwable, Int>>
is correct