further parameterizing modules and std-lib interface
	modified:   CatofAdj/InitAdj.agda
	modified:   EM/Adjunction.agda
	modified:   EM/Functors.agda
	modified:   Kleisli.agda
	modified:   Kleisli/Adjunction.agda
	modified:   Kleisli/Functors.agda
	modified:   MonadMorphs.agda