<div dir="ltr"><div>Hello,</div><div><br></div><div>I am currently looking into applications of generalized monads. I am aware of the following generalized monad concepts (and libraries implementing them):</div><div>* Indexed/Parameterized/Hoare Monads [1]</div><div>  * indexed [8]</div><div>      * simple-sessions [9][4]</div><div>  * monad-param [10][3][6]</div><div>* Effect Monads [2]</div><div>  * effect-monad [11][5]</div><div>  * monad-param [12][3]</div><div>* Constrained Monads</div><div>  * rmonad [13]</div><div><br></div><div>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.<br></div><div><br></div><div>Question 2: Do you know of (open source) software and applications that use these concepts/libraries to implement something?</div><div><br></div><div>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.</div><div><br></div><div>Best,</div><div>Jan</div><div><br></div><div>[1]: <a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.3020">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.3020</a></div><div>[2]: <a href="http://dl.acm.org/citation.cfm?doid=2578855.2535846">http://dl.acm.org/citation.cfm?doid=2578855.2535846</a></div><div>[3]: <a href="http://comonad.com/reader/2007/parameterized-monads-in-haskell/">http://comonad.com/reader/2007/parameterized-monads-in-haskell/</a></div><div>[4]: <a href="http://www.ccs.neu.edu/home/tov/pubs/haskell-session-types/session08.pdf">http://www.ccs.neu.edu/home/tov/pubs/haskell-session-types/session08.pdf</a></div><div>[5]: <a href="https://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf">https://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf</a></div><div>[6]: <a href="http://www.researchgate.net/profile/Dominique_Devriese/publication/221282353_Information_flow_enforcement_in_monadic_libraries/links/02e7e517426092952d000000.pdf">http://www.researchgate.net/profile/Dominique_Devriese/publication/221282353_Information_flow_enforcement_in_monadic_libraries/links/02e7e517426092952d000000.pdf</a></div><div>[7]: <a href="https://www.reddit.com/r/haskellquestions/comments/4fs80x/">https://www.reddit.com/r/haskellquestions/comments/4fs80x/</a></div><div>[8]: <a href="http://hackage.haskell.org/package/indexed">http://hackage.haskell.org/package/indexed</a></div><div>[9]: <a href="http://hackage.haskell.org/package/simple-sessions">http://hackage.haskell.org/package/simple-sessions</a></div><div>[10]: <a href="http://hackage.haskell.org/package/monad-param">http://hackage.haskell.org/package/monad-param</a></div><div>[11]: <a href="http://hackage.haskell.org/package/effect-monad">http://hackage.haskell.org/package/effect-monad</a></div><div>[12]: <a href="http://hackage.haskell.org/package/monad-param">http://hackage.haskell.org/package/monad-param</a></div><div>[13]: <a href="http://hackage.haskell.org/package/rmonad">http://hackage.haskell.org/package/rmonad</a></div></div>