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