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/JohnLato/listlike is a good alternative to Capabilities
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/JohnLato/listlike is a good alternative to Capabilities