This author seems to make several mistakes. First believing that async calls to actors with side effects helps reasoning. Second he conflates Haskells exposur

This author seems to make several mistakes. First believing that async calls to actors with side effects helps reasoning. Second he conflates Haskells exposure of monads with the math of monads. Haskell just makes more explicit (and provable) what other systems indirectly model (often times muddling the ability to reason over it).