Refactored IO to ease creation.
Added missing left projection for IEither
More comments