Hello, I am currently looking into applications of generalized monads. I am aware of the following generalized monad concepts (and libraries implementing them): * Indexed/Parameterized/Hoare Monads [1] * indexed [8] * simple-sessions [9][4] * monad-param [10][3][6] * Effect Monads [2] * effect-monad [11][5] * monad-param [12][3] * Constrained Monads * rmonad [13] Question 1: Do you know of other libraries that implement generalized monad concepts? Most of the libraries I listed above are in working condition, but still outdated. Question 2: Do you know of (open source) software and applications that use these concepts/libraries to implement something? This mail is a copy of my post on Reddit [7]. I am sorry for reposting it here, but I dod not get a response on that post for almost 2 weeks now. Best, Jan [1]: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.3020 [2]: http://dl.acm.org/citation.cfm?doid=2578855.2535846 [3]: http://comonad.com/reader/2007/parameterized-monads-in-haskell/ [4]: http://www.ccs.neu.edu/home/tov/pubs/haskell-session-types/session08.pdf [5]: https://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf [6]: http://www.researchgate.net/profile/Dominique_Devriese/publication/221282353... [7]: https://www.reddit.com/r/haskellquestions/comments/4fs80x/ [8]: http://hackage.haskell.org/package/indexed [9]: http://hackage.haskell.org/package/simple-sessions [10]: http://hackage.haskell.org/package/monad-param [11]: http://hackage.haskell.org/package/effect-monad [12]: http://hackage.haskell.org/package/monad-param [13]: http://hackage.haskell.org/package/rmonad