Added a kind annotation to help GHC 7.6.3