cleanpu of Kleisli and CatofAdj
	modified:   Monads/CatofAdj.agda
	modified:   Monads/Kleisli.agda
	modified:   Monads/Kleisli/Adjunction.agda
	modified:   Monads/Kleisli/Functors.agda