Take the users's configuration file and pick out the data sources and other information. If an unrecoverable error occurs, return a text diagnostic in the Left constructor; otherwise, return an object of the schema data. Since the code is within the LoggingT IO monad, there are full diagnostics etc. output. As soon as an error be encountered, the definition of our monad means that evaluation backs out immediately.