| http://www.w3.org/ns/prov#value | - A monad appears to be a comprehensible unit which is predictable upon its full understanding -- If you understand Maybe monad, there is no possible way it will do anything except be Maybe, which appears trivial, but in most non monadic code, a simple function helloworld can fire the missiles, do nothing, or destroy the universe or even distort time -- we have no idea nor have any guarantees
|
