Main.hs

import Control.Monad.IO.Class
import Control.Monad.Codensity
import System.IO


managedActions :: Codensity IO ()
managedActions = do
  input <- Codensity $ withFile "in.txt" ReadMode
  output <- Codensity $ withFile "out.txt" WriteMode
  contents <- liftIO $ hGetContents input
  liftIO $ hPutStr output contents
  

  
main :: IO ()
main = do
  lowerCodensity managedActions