Implement a data processing pipeline in a functional language (such as Haskell, Scala, or F#). The pipeline involves reading JSON data, validating it against a schema, transforming the data, and writing it to a database. Implement the pipeline using a series of pure functions connected by a monadic structure (such as Either or Maybe) to handle errors (validation errors, IO errors) explicitly without exceptions. Ensure that side effects (database writing) are isolated and managed at the edges of the program. Provide the code and a brief explanation of how the monad binds manage the control flow.