将Haskell中的全局列表放到以生成唯一的随机值

Question

我目前正在构建玩具餐计划申请，并决定在Haskell中写下后端，只是为了挑战自己。我认为我所遇到的问题在我认为我需要一些全局，可变的列表中可以记录以前的请求（它们不是同时提出的）。这是尤其是有问题的路线，特别是Random_value是绑定的：

getMeal :: Pipe -> ScottyM ()
getMeal pipe = post "/get_meal/:mid?" $ do
    mid <- rescue (param "mid" :: ActionM Int) (\_ -> return 0)
    doc <- access pipe master "risto" $ do
        meal_count <- count $ select [] "meals"
        random_value <- getStdRandom (randomR (0, meal_count - 1))
        if mid == 0
            then findOne $ select ["id" =: random_value] "meals"
            else findOne $ select ["id" =: mid] "meals"
    case doc of
        Nothing -> text "Meal not found"
        Just a -> json $ Meal (at "id" a) (at "name" a) (at "calories" a) (at "yield" a) (at "ingredients" a)

但是，您可以想象，如果此功能称为5个单独的时间，则可能会为餐点生成相同的值。在命令式的语言中，我将初始化一个限制5个项目的队列，然后使用它。探索使我相信国家单子很可能是我应该寻找的地方，经过一些实验，我想到了：

type GetState = [Int]

pushLast :: Int -> State GetState ()
pushLast v = state $ \(x:xs) -> ((), if length xs == 5 then v:init xs else v:xs)

checkLastFive :: Int -> State GetState Bool
checkLastFive v = state $ \xs -> (elem v xs, xs)

我认为这可能太复杂了，所以我也想到了：

pushLastGet :: Int -> State [Int] ()
pushLastGet n = do
    s <- Control.Monad.State.get
    if elem n s
        then return ()
        else Control.Monad.State.put (n:s)

主要问题：我正在努力解决这个问题。我想象的是（在Haskell/python like pseudocode中）：

while True:
    random_value <- getStdRandom (randomR (0, meal_count - 1))
    if pushLastGet random_value != (): -- value was not in list
        break

此外，我正在努力完全掌握应该初始化的初始状态，以及我的究竟是什么逻辑看起来像在Haskell中，并且在包裹它的单子的约束之内。

我还认为可能有一种聪明的非统一方法可以使用直到，但是我的知识水平还没有。