Added monadic example.