CatofRAdj cleanup
	modified:   RMonads/CatofRAdj.agda