I found this guy's description of the Either monad to be rather good https://fsharpforfunandprofit.com/rop/