Working on workshop day 2

Started about Validation monad