$BlockNumber: $.Shape<number, number> = ...