fromList + fusion rule