We intend to add a check for this (a sort of dynamic linear typing) but for now it's something to be careful about. For more detailed information on the design and the reasoning behind it, see the PRNG design doc. Mini-libraries JAX provides some small, experimental libraries for machine...