Postulated isomorphism (A -> B)/~' --> A -> B/~.
	modified:   Monads/Delay.agda
	modified:   Utilities.agda