compactU64: Shape<bigint, bigint> = ...