module F12 where

f12 = let f g x = g x
          h = (+)
      in f h 4 5