This issue is for discussion of proposal [2015-002 (Addition of Either module)](https://github.com/SMLFamily/BasisLibrary/wiki/2015-002-Addition-of-Either-module).