let G = \g. g (g x) F x = F x I x = x in G (F I)