The Coq mailing list

[Dmitry Grebeniuk <gdsfh1 AT gmail.com>]

Hello.

> There is some theory about type-class based monads in math-classes:
> http://math-classes.org/

  That could be a good reading, but typeclasses in that repo
are simple, no one question will arise if one will using them.
I'm trying to make a more complex thing.  The main obstacle
is typeclasses mechanism in Coq, so the theory about
monads won't help (but still a good reading).