Only different is OO languages typically give you an implicit {hierarchical state, logging, OS interfacing}, monad for free (or at least under the generalized a

Only different is OO languages typically give you an implicit {hierarchical state, logging, OS interfacing}, monad for free (or at least under the generalized async monad), FP makes you request all that yourself.