Include Eff examples

[emlautarom1]

I found this repo by pure chance while navigating Reddit and I would like to share a WIP micro-library that I'm writing called Eff (absolutely overused name). The library is < 100 LOC, depends only on base, and you can easily copy-paste it into any project.

The extended version (containing your typical effects like Reader, State, etc.) is here: https://github.com/emlautarom1/HaskellSnippets/blob/master/Eff.hs. I'm currently writing a blog post where I explain the implementation.

I've also taken the liberty to include support for Nix to facilitate setting up an environment with the tools that you've documented in the README (GHC 9.4.8 and Cabal 3.10.2.1, slight difference regarding Cabal).

[bcardiff]

Thanks for the interest! IIUC the value of this alternative would be to show how the effect tracking at the type level works. Without using bluefin or other alternatives.

If you are already writing something let's wait for that to be published so we can link it here as an explanation. Sounds good?

Thanks for nixifying. It's always nice to see how others do that and compare.