coinductively picking a random stream

Tags: coinduction, probability, stream.