Haskell の do構文の脱糖を教えてください。

Question

以下の x の do構文を脱糖したいです。初心者の質問ですみませんが、どうぞ宜しくお願いいたします。

x = do
   a <- newIORef "abc"
   b <- readIORef a
   writeIORef a "xyz"
   putStrLn =<< readIORef a
   putStrLn b

以下のように、２つに分けては脱糖できたのですが、１つにまとめる方法が分からなくて悩んでいます。

x1 = newIORef "abc"
   >>= (\a -> (writeIORef a "xyz" >> readIORef a >>= putStrLn))

x2 = newIORef "abc"
   >>= (\a -> (readIORef a >>= putStrLn))

Answer 1

定義に従って機械的に脱糖すればよいと思うのですが、何か追加の制約などあるのでしょうか。

x =
    newIORef "abc" >>= (\a ->
    readIORef a >>= (\b ->
    writeIORef a "xyz" >>
    (putStrLn =<< readIORef a) >>
    putStrLn b))

Comments

[KN2018]

大変ありがとうございます！
まったく追加の制約などないのですが、ハスケルにまったく慣れていなくて、勝手に一人でずっと悩んでいました。回答をしてくださったおかげで、ようやく悩みが解けました。とても感謝しております。
時間を割いて回答を書いてくださって、本当にありがとうございました。