Как вынуть стоимость из монады в Haskell?

Есть ли способ взять «вещи» из монады?

Я разрабатываю игру, и теперь я пытаюсь понять базы данных. Я нашел happstack действительно приятно, но я не могу получить вещь.

Например, у меня есть эта функция (надеюсь, что вы знакомы с Happ Stack )

getAllThings :: MonadIO m => m [Thing]
getAllThings = do
            elems <- query GetThings
            return elems

, поэтому я получаю m [90] , но я не могу использовать это в моем модель! Например,

doSomeThingWithThings :: [Thing] -> Something

Я поглотил это, и я ничего не нашел.