In the `a` example it can infer `EitherPartialOf&l...
# arrow
s
In the
a
example it can infer
EitherPartialOf<String>