# seq_from_spec([1..3])       === seq(1..3)
    # seq_from_spec([1..3],[4,5]) === seq(1..3) x seq(4,5)
    # seq_from_spec(\(@a,@b,...)) === seq(@a) x seq(@b) x ...