{-# LANGUAGE GADTs #-}

module Text.LambdaOptions.Internal.Opaque (
    Opaque(..),
    OpaqueCallback,
) where


import Data.Typeable


--------------------------------------------------------------------------------


data Opaque where
    Opaque :: (Typeable a) => a -> Opaque


type OpaqueCallback r = [Opaque] -> r