monadplus.diff