Fix Either operations that have the wrong type and implementation. Issue #3