1 2 3 4 5
module F8 where f8f b x y = let g = \z -> x+y+z in if b then y else g (x*x) f8 = f8f True 1 2