haskell - Haskell：モナド変換子スタックの使い方がわかりません

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

わかりました、今より賢く感じます