[cs] beginning of monads article