Got working monadLib version
consistency fixes