idris-1.1.0: test/interactive014/interactive014.idr

voidIO : IO ()
voidIO = do putStrLn "aa"

intIO : IO Int
intIO = do putStrLn "bb"
           pure 123

stringIO : IO String
stringIO = do putStrLn "cc"
              pure "dd"