[Haskell-cafe] Applications using generalized monads?

[Jan Bracker]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20160502/8ef3b411/attachment.html>