More work on Lab 11 (Monads).