Regarding the shadowing example, you probably wouldn't write

  config <- loadConfig
  config' <- validateConfig config
  config'' <- mergeDefaults config'

in Haskell but rather

  config <- mergeDefaults =<< validateConfig =<< loadConfig

  config <- loadConfig
  config <- validateConfig config
  config <- mergeDefaults config