does this really become Monad??
new created for Chapter 7 - General Recursion.