{-# LANGUAGE ExplicitNamespaces #-}

module Data.Vinyl.Notation
  ( (<+>)
  , (<<*>>)
  , (<<$>>)
  , (<<&>>)
  , Rec((:&))
  , type (∈)
  , type (⊆)
  , type (≅)
  , type (<:)
  , type (:~:)
  ) where

import Data.Vinyl.Core
import Data.Vinyl.Lens