Adding list monad, and small corections in Maybe and Validation