I tried to build webkit and webkitgtk3 0.12.5 on Fedora 20 (just released) and ran into:

$ cabal install webkitgtk3
:
Configuring webkitgtk3-0.12.5...
Building webkitgtk3-0.12.5...
Preprocessing library webkitgtk3-0.12.5...
gtk2hsC2hs: Errors during expansion of binding hooks:

./Graphics/UI/Gtk/WebKit/Types.chs:1100: (column 12) [ERROR] 
  >>> Unknown identifier!
  Cannot find a definition for `WebKitDOMBarInfo' in the header file.
./Graphics/UI/Gtk/WebKit/Types.chs:1865: (column 12) [ERROR] 
  >>> Unknown identifier!
  Cannot find a definition for `WebKitDOMMemoryInfo' in the header file.

Failed to install webkitgtk3-0.12.5
:

Same error occurs for "cabal install webkit".

This is with upstream webkitgtk3-2.2.3 (and webkitgtk 2.2.3).
Anyone else seen this or know how to deal with it?

Thanks, Jens