{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE GADTs #-}

module Language.JavaScript.Inline.Core.Dict where

import Data.Proxy

data Dict c where
  Dict :: c a => Proxy a -> Dict c