Added Validation (specific kind of Either)
Added Monoid (Semi-group with identity)
Fixed naming convention in Try