This issue is for discussion of proposal [2015-001 (Correction to the ListPair module)](https://github.com/SMLFamily/BasisLibrary/wiki/2015-001-Correction-to-ListPair).