Type of `either::N`
Hi there. I was reading the docs and don't understand too much about the library and type notation yet, but I was wondering if this is maybe a typo:
either::N
a -> Either Y a | N b
Should that perhaps be: b -> Either Y a | N b
?