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