Proved that the Kleisli category of the Delay monad is a restriction category
	modified:   Monads/Delay.agda
	modified:   RestrictionDelay.agda