$Percent: $.Shape<number, number> = $.u8