GitHub - dorchard/effect-monad: Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

[igrep]

“values of type `M r a` are effectul computations of values of type `a` with effects `r`. They provide a way to give finer-grained information about impurity”