JackNova

//BASIC PIECES, 3 functions: unit, bind and the bind argument
//function unit(value)
//function bind(monad, function(value))
//all three functions return a monad

/* The unit function is a constructor (returns a monad object) 
* The magic is in the bind function
* 
* There are AXIOMS:
* bind(unit(value)), f) === f(value)