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

module Data.Vinyl.Unicode where

import Data.Vinyl.Relation
import Data.Vinyl.Proofs

type x ∈ xs = IElem x xs
type xs ⊆ ys = Implicit (Subset xs ys)
type r1 ≅ r2 = r1 :~: r2

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

module Data.Vinyl.Unicode where

import Data.Vinyl.Relation
import Data.Vinyl.Proofs

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

Use (ISubset xs ys) instead of (Implicit (Subset xs ys))
Use (ISubset xs ys) instead of (Implicit (Subset xs ys))
