apiary-2.1.0: src/Data/Apiary/SProxy.hs

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

module Data.Apiary.SProxy(SProxy(..)) where

import GHC.TypeLits(Symbol)

data SProxy (k :: Symbol) = SProxy