intro to 3rd monad article