Control.Comonad.Supply

Creating supplies

data Supply a

Obtaining values from supplies

Generating new supplies from old