Refactored IO to ease creation.

Added missing left projection for IEither
More comments