User defined positive vector of random variables

10 is (10,), but it’s not (1, 10) :).