fix documentation to single
Versions of Separated and Separated1 with the type constructor flipped.