abstracted out cat C and Monad M
	modified:   Monads/CatofAdj/InitAdj.agda