Tony Morris

@BeRewt @dibblego what about http://okmij.org/ftp/Haskell/set-monad.html … ?

@gclaramunt @dibblego "However, the restricted Set monad, as any restricted monad, is quite restricted. It is not a monad at all."

@BeRewt "We have thus presented the second proper, efficient Set monad.". Isn't selective quotation wonderful. /cc @gclaramunt @dibblego

@milessabin @BeRewt @gclaramunt Seriously, can we just call it something other than, "what it definitely isn't"?

@dibblego sure, and while we're at it, let's stop this silly pretence that equilateral triangles are triangles. /cc @BeRewt @gclaramunt

@milessabin @BeRewt @gclaramunt Fortunately, equilateral triangles satisfy the essential properties of what it means to be a triangle.

@dibblego gosh, I thought that triangularity was preserved under affine transformation. /cc @BeRewt @gclaramunt

@milessabin @dibblego @BeRewt @gclaramunt a transformed equilateral triangle would still be a triangle, just maybe not still equilateral.