Sample use of a monad

gistfile1.hs

-- example of a monadic operation

do s <- readFile f
   writeFile g s
   return s

-- gets translated to

readFile f >>= \s->
writeFile g s >>= \_->
return s

-- >>= does the sequencing and is called the "bind"