that may end up being `Either<Nothing, Int>`...
# arrow
p
that may end up being
Either<Nothing, Int>
tho