Reorganised file, put IO last
Added Either documentation