CatofRAdj cleanup

	modified:   RMonads/CatofRAdj.agda