removing unneeded imports
	modified:   Monads/Delay/Decision.agda
	modified:   Monads/EMAlgebras.agda
	modified:   Monads/EMCat.agda
	modified:   Monads/Kleisli.agda
	modified:   Monads/Maybe.agda
	modified:   Restriction/Order.agda