Test.hs

{-# LANGUAGE DataKinds     #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE KindSignatures #-}

module Data.HdrHistogram.Config.Test where

import           GHC.TypeLits (Nat, type (<=))

-- Is there a way to add constraints to these kinds? For example, 1 <= sig <= 7, or lowest <= highest.
-- I found https://hackage.haskell.org/package/base-4.7.0.1/docs/GHC-TypeLits.html#t:-60--61--63-, but don't know how to use it. 
data Config (lowest :: Nat) (highest :: Nat) (sig :: Nat)

p :: Config 1 1024 3
p = undefined