Adding an example trivial Bind base package. Finished the code to obey
Monadic laws