For example , the following two definitions are safe for an equivalent division for values in maybe - monad .
For example , both following definitions for equivalent division for values in the Maybe monad are safe .