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/sjoerdvisscher/one-liner is a good alternative to Capabilities