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_Information_flow_enforcement_in_monadic_libraries/links/02e7e517426092952d000000.pdf

[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