-----------------------------------------
	Test for repated type variables in an instance decl context;
	this should require -fallow-undecidable-instances'
	-----------------------------------------

	Merge to stable branch