Generalise to PrimMonad/PrimState
Variates (runif): bounded makes little sense