Здравствуйте, Буравчик, Вы писали:
Б>P.S. Напиши, что получилось...

Получилось следующее

import qualified Data.Map as M

fillMark' :: String -> M.Map String [String]
fillMark' text = M.fromListWith (++) z 
          where z = zip w $ map (\x -> [x]) $ tail w
                w = words text                            
                                     
main :: IO ()
main = do
       s <- readFile "c:\\test.hs" 
       let z = fillMark' s
       print z

На последний вопрос как лучше сделать я повидимому получил ответ , а как насчет остальных вопросов?