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

#swift @koher より引用 (edited)