----------------------------------
	Fix an existential-constructor bug
	----------------------------------

		MERGE INTO 5.00.2

This fixes a long-standing bug that made the strictness
analyser go into a loop if it met a recursive newtype:

	newtype Void = MkVoid Void