@bram @LottieVixen I hate everything that looks like a language-specific package manager and I think that people who created them played a cruel trick to the community so I don't know much about cabal nor stack.

About the abstractions in the language, yeah there are plenty of useful ones, and it's really nice to be writing a detail in a function, hating how it's gonna be complex due to the structure underneath before you realise that this very structure has exactly the good property that allows you to use a pretty operator to simplify everything and have the existing proofs do all the work for you.