apiary-1.4.0: src/Data/Apiary/SProxy.hs
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
module Data.Apiary.SProxy(SProxy(..)) where
import GHC.TypeLits.Compat(Symbol)
data SProxy (k :: Symbol) = SProxy
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
module Data.Apiary.SProxy(SProxy(..)) where
import GHC.TypeLits.Compat(Symbol)
data SProxy (k :: Symbol) = SProxy