Missing public derivation for Stream in Random