sub gen_idx_powerset( Int $i is copy ) {
    return [] unless $i > 0;
    return (
        gen_idx_powerset( $i - 1 ),
        (map { [@$_, $i] }, gen_idx_powerset( $i - 1 ) ),
    );
}