Added example contrasting monadic with non-monadic code