Scope of IO defined variables
main :: IO()
main =  do
          s <- getLine
          putStr magic
            where
              magic = doMagic s

main :: IO()
main =  do
          s <- getLine
          let magic = doMagic s
          putStr magic

magic m = doMagic m

magic = m-> doMagic m

putStrLn $ magic s

let magic_str = magic s in
  putStrLn magic_str

main =  do
      s <- getLine
      putStr magic
        where
          magic = doMagic s

main = getline >>= s ->
       putStr magic
          where magic = doMagic s

main = getline >>= (s -> putStr magic) where magic = doMagic s

foo   = (x -> let y = x in y)  -- Works fine
foo'' = (x -> y) where y = x   -- y is not in scope