Open JasonShin opened 4 years ago
Currently, we are encoding HKT2s such as Result as HKT3 but it should be HKT2 instead
Currently, we are encoding HKT2s such as Result as HKT3 but it should be HKT2 instead