Type signature for GHC 7.8