rel. Kleisli is initial
	modified:   Everything.agda
	modified:   RMonads/CatofRAdj/InitRAdj.agda