https://gist.github.com/joshbohde/654d7e3547661610f2cf

Test.hs

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

module Data.HdrHistogram.Config.Test where

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

data Config (lowest :: Nat) (highest :: Nat) (sig :: Nat)

type SigBounds sig = (1 <= sig, sig <= 7)
type HighLow a b = (a <= b)

mkConfig :: (HighLow low high, SigBounds sig) => Proxy (Config low high sig)
mkConfig = Proxy

-- good
a :: Proxy (Config 1 1024 3)
a = mkConfig

-- fail (HighLow)
b :: Proxy (Config 3 2 3)
b = mkConfig

-- fail (SigBounds)
c :: Proxy (Config 1 1024 8)
c = mkConfig