JsonAsString: Type<unknown, string, string> = ...