it may not be defined for Either
# arrow
p
it may not be defined for Either