(T?, U?)
| | T | N | |:-:|:-:|:-:| | U | o | o | | N | o | o |
Either<T, U>
| | T | N | |:-:|:-:|:-:| | U | | o | | N | o | |
Foo<T, U>
| | T | N | |:-:|:-:|:-:| | U | o | o | | N | o | |