Beginning to work on Monad composition

Checkpoint of Saturday's work.