Add example about instance Monad (Either e)