Hoogle patch for WAI 3.0