Explaining what EitherString is in the example