Proved that the Delay type is a monad (with the new quotients).
	modified:   Monads/Delay.agda
	modified:   Utilities.agda