>>42
this particular monad,
Nice effort, and the last bit almost makes sense, but you didn't really explain
monads. I'm tired of seeing discussions of a single instance, when as a whole they're apparently
1) not particularly related
2) wired into the compiler as special cases
3) able to segfault if used in any construct other than the ones handed down by ``SPJ'' Peyote-Joints himself.
Seriously, where does
List get off being in the same category as
IO? Do the magicks attached to those have anything to do with being a monad? What does it even mean for something to be a monad?