nary fixpoints; let .. and .. notation