I actually wrote a monad tutorial last year: https://bytes.yingw787.com/posts/2019/12/06/monads/ https://bytes.yingw787.com/posts/2019/12/06/monads/ After read

I actually wrote a monad tutorial last year: https://bytes.yingw787.com/posts/2019/12/06/monads/ https://bytes.yingw787.com/posts/2019/12/06/monads/ After reading about monads...honestly no, there is no way to simplify it. Without understanding the type system, it’s alien.