Recursively defined values cannot appear directly as part of the construction of a tuple value within a recursive binding ...