{-# LANGUAGE Trustworthy #-}
module Data.Unique.Tag
    ( Tag
    , newTag

    , RealWorld

    , (:~:)(..)
    , GEq(..)

    , GOrdering(..)
    , GCompare(..)
    ) where

import Data.GADT.Compare
import Unsafe.Unique.Tag
import Data.Type.Equality ((:~:)(..))
import Control.Monad.Primitive (RealWorld)