vinyl-0.1.3: Extensible Records
Data.Vinyl.Unicode
type (∈) x xs = IElem x xsSource
type (⊆) xs ys = ISubset xs ysSource
type (≅) r1 r2 = r1 :~: r2Source
(≅) :: (Eq a, <: b a, <: a b) => a -> b -> BoolSource