end of ch13: for a few monads more