The Supply monad represents computations that consume values from a provided supply.