Proof that for any set X, Delay X is the final coalgebra of F = X + _
	modified:   Monads/Delay.agda