Re: [GHC] #10082: Church Booleans - xor