new file:   Monads/EM/Adjunction.agda
	new file:   Monads/EM/Functors.agda
	new file:   Monads/Kleisli/Adjunction.agda
	new file:   Monads/Kleisli/Functors.agda
	new file:   Monads/Morphisms.agda