rel8-internal-1.8.0.0: src/Rel8/Internal/Schema/Dict.hs

{-# language ConstraintKinds #-}
{-# language GADTs #-}
{-# language PolyKinds #-}
{-# language StandaloneKindSignatures #-}

module Rel8.Internal.Schema.Dict
  ( Dict( Dict )
  )
where

-- base
import Data.Kind ( Constraint, Type )
import Prelude ()


type Dict :: (a -> Constraint) -> a -> Type
data Dict c a where
  Dict :: c a => Dict c a