generalize: Either String a --> Monad m => m a