Underlying `Xor` has `ensure` method which allows to check `B` value with predicate. It's useful to have this method in `XorT` too.