{-# LANGUAGE DataKinds     #-}
{-# LANGUAGE PolyKinds     #-}
{-# LANGUAGE TypeOperators #-}

module Serv.Internal.Pair where

-- | Equivalent to a tuple at both the type and kind levels,
-- but has a nicer syntax!
data Pair a b = a ::: b

infixr 6 :::