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/strake/smallcheck-kind-generics.hs is a good alternative to Capabilities