module Main (main) where import Control.Monad.Writer (execWriter, MonadWriter (tell)) foreign export ccall call_in :: IO () call_in :: IO () call_in = putStrLn $ execWriter $ do tell "Yo," tell " This was " tell "Called" tell " From" tell " C!!" main :: IO () main = putStrLn "This should be dynamically linked!\n"