Add some examples of monad laws using "safe division"