restriction, special case, kleisli
	modified:   Everything.agda
	modified:   Monads/MonadMorphs.agda
	modified:   RMonads/RKleisli.agda
	modified:   RMonads/RKleisli/Adjunction.agda
	modified:   RMonads/RKleisli/Functors.agda
	modified:   RMonads/Restriction.agda
	modified:   RMonads/SpecialCase.agda