the reason for this is that the `applicative()` in...
# arrow
p
the reason for this is that the
applicative()
instance of
Either
is only polymorphic on the right side