Added (Either a) Functor and Monad instances.