A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
Why do you think that https://github.com/duog/generic-lens-labels is a good alternative to Capabilities