UniqSupply

# Main data type

data UniqSupply

## Operations on supplies

uniqFromSupply

uniqsFromSupply

takeUniqFromSupply

mkSplitUniqSupply

splitUniqSupply

listSplitUniqSupply

# Unique supply monad and its abstraction

data UniqSM result

class MonadUnique m

## Operations on the monad

initUs

initUs_

lazyThenUs

lazyMapUs

## Deprecated operations on `UniqSM`

getUniqueUs

getUs

returnUs

thenUs

mapUs