10
私はモナド変圧器を初めて使用しています。 私は値val :: MaybeT IO String
と機能fn :: String -> IO [String]
を持っています。 バインド後、私はval >>= liftM fn :: MaybeT IO (IO [String])
を持っています。重複するIOモナドを削除し、タイプMaybeT IO [String]
の結果を得るにはどうすればよいですか?モナド変圧器モナドの複製