Renamed 2 -> 2.1
Added Either to S's type