Hello,

On Thu, Aug 9, 2012 at 1:52 PM, Tillmann Rendel <rendel@informatik.uni-marburg.de> wrote:

Note that many type classes in Haskell have equations annotated as comments. For example, the monad laws are mentioned in the documentation of the Monad type class:

One of the reasons why I chose Haskell over Scheme about 4 years ago was that in the PLT Scheme (now Racket) libraries, type annotation were given in the comments. I thought: maybe those things are in fact useful.

Perhaps in Haskell we could have a lightweight Quasi-quoting/Template Haskell library for adding laws to class definitions?

Tom