Added DataKinds pragma (required by GHC 7.6.2).
Merge pull request #12 from isturdy/master

7.6.2 compatibility.