Implemented implicit Monadic reduction on lambda-calculus