Changed GHC.TypeNats to GHC.TypeLits to allow older versions of GHC to build the package