Adding beginnings of Monad Operational example