Yeah, that explanation is missing the critical point of generically applying external functions through flat_map/bind

I think this is a good explanation: https://fsharpforfunandprofit.com/rop/