vinipsmaker

unit(value).bind(f) === f(value);

monad.bind(unit) === monad;

(monad.bind(f).bind(g)
 === monad.bind(function(value) { return f(value).bind(g); }))