add kind signature required by GHC 7.6