choosing a random stream

Tags: probability, Martin-Lof, stream, coalgebra.