You may get answers by reading https://github.com/haskell-effectful/effectful/?tab=readme-o...