A type class for things which can be "thinned", with an implementation for Stream. Useful for MCMC algorithms.
Stream