chapter06: monads! jeiii