哈斯克爾：無法弄清楚如何使用單子轉換堆棧

Question

我有一個類型

type T s r a = StateT [s] (ListT (Reader r)) a 

我想創建產生每個當前狀態的一元價值

states :: T a r a 

但我今天感覺很蠢，而且我不知道如何將T a r [a]的值轉換爲T a r a。

states = do 
    as <- get 
    -- insert magic 
    return a 

Answer 1

想通出路

states = do 
    as <- get 
    a <- lift . ListT $ return as 
    return a 

這可以壓縮到

states = get >>= lift . ListT . return 

OK，感覺更聰明現在