I am sorry for, maybe, a silly question. f name = readFile name >>= putStr has the type String -> IO () And I need String -> String, so that (f name) is a string contained in the given file. I never learned such things in Haskell because they are rather non-functional. Thank you in advance for the help. ----------------- Serge Mechveliani mechvel@botik.ru