diff --git a/Data/Vinyl/Notation.hs b/Data/Vinyl/Notation.hs
new file mode 100644
--- /dev/null
+++ b/Data/Vinyl/Notation.hs
@@ -0,0 +1,17 @@
+module Data.Vinyl.Notation
+  ( (:~:)
+  , (<-:)
+  , (<:)()
+  , (<+>)
+  , (<<*>>)
+  , (<<$>>)
+  , (=:)
+  , (~=)
+  , Rec((:&))
+  , Semantics((:~>))
+  ) where
+
+import Data.Vinyl.Constraint
+import Data.Vinyl.Core
+import Data.Vinyl.Operators
+import Data.Vinyl.TH
diff --git a/Data/Vinyl/Operators.hs b/Data/Vinyl/Operators.hs
--- a/Data/Vinyl/Operators.hs
+++ b/Data/Vinyl/Operators.hs
@@ -13,11 +13,12 @@
   ( (<<$>>)
   , (<<*>>)
   , (<+>)
-  , rpure
+  , type (++)
+  , RecApplicative(rpure)
   , rtraverse
   , rdist
   , rdistLazy
-  , foldRec
+  , FoldRec(foldRec)
   , recToList
   , showWithNames
   , rshow
diff --git a/vinyl.cabal b/vinyl.cabal
--- a/vinyl.cabal
+++ b/vinyl.cabal
@@ -1,5 +1,5 @@
 name:                vinyl
-version:             0.4.2
+version:             0.4.3
 synopsis:            Extensible Records
 -- description:
 license:             MIT
@@ -31,6 +31,7 @@
                      , Data.Vinyl.Idiom.Thunk
                      , Data.Vinyl.TyFun
                      , Data.Vinyl.Functor
+                     , Data.Vinyl.Notation
                      , Data.Vinyl.Universe
                      , Data.Vinyl.Universe.Id
                      , Data.Vinyl.Universe.Const
@@ -44,7 +45,7 @@
   type:             exitcode-stdio-1.0
   hs-source-dirs:   benchmarks
   main-is:          StorableBench.hs
-  build-depends:    base >= 4.6 && <= 5, vector, criterion, vinyl == 0.4.2, mwc-random, lens, linear
+  build-depends:    base >= 4.6 && <= 5, vector, criterion, vinyl == 0.4.3, mwc-random, lens, linear
   ghc-options:      -O2 -fllvm
   default-language: Haskell2010
 
@@ -52,5 +53,5 @@
   type:             exitcode-stdio-1.0
   hs-source-dirs:   tests
   main-is:          Intro.lhs
-  build-depends:    base >= 4.6 && <= 5, lens, vinyl == 0.4.2, doctest >= 0.8, singletons >= 0.10
+  build-depends:    base >= 4.6 && <= 5, lens, vinyl == 0.4.3, doctest >= 0.8, singletons >= 0.10
   default-language: Haskell2010