My guess is they sample closed lambda terms representing functions.