Bijection<> code close to testable