fix of monadic contract bugs
merge
monad fix