Wird GHC die Tail-Call-Optimierung standardmäßig für die folgende Funktion ausführen? Das einzig Seltsame daran ist, dass es rekursiv eine IO-Aktion definiert, aber ich sehe nicht, warum das nicht TCO'd sein könnte.Kann GHC E-Mail-Aktionen optimieren?
import Control.Concurrent.MVar
consume :: MVar a -> [a] -> IO()
consume _ [] = return()
consume store (x:xs) = do putMVar store x
consume store xs