bijection.zip,类型之间的双射核可逆转换