Don't combine lefts on Xor and XorT combine#1034

Merged

ceedubs merged 2 commits intotypelevel:masterfrom ceedubs:xor-combine

May 19, 2016

+77-9

Commits on May 14, 2016

Don't combine lefts on Xor and XorT combine
ceedubs
committed

Commits on May 17, 2016

Use more descriptive binding name in Xor.combine
ceedubs
committed