probably not going to blog about constrained monads, but here's my notes on them
added monads into the source tree