(Y F) = (F (Y F))'s lists