TIL: `char`, `signed char` and `unsigned char` are distinct fundamental types. We handle `char` and `unsigned char` so far.