結果 : either monad typescript