Add type signatures for GHC >= 7.4