cat of rel. adjunctions
	modified:   Everything.agda
	modified:   Monads/CatofAdj.agda
	modified:   RMonads.agda
	modified:   RMonads/CatofRAdj.agda