{-# LANGUAGE UnicodeSyntax #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE NoMonomorphismRestriction #-}

module Data.Vinyl.Unicode where

import Data.Vinyl.Rec
import Data.Vinyl.Relation
import Data.Vinyl.Witnesses

type x ∈ xs = IElem x xs
type xs ⊆ ys = ISubset xs ys
type r1 ≅ r2 = r1 :~: r2

(≅) = (~=)