diff --git a/CHANGES.md b/CHANGES.md
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,3 +1,8 @@
+0.4.3
+=====
+
+* Assign associativity and priority to (...), export typeclass itself.
+
 0.4.2
 =====
 
diff --git a/src/VarArg.hs b/src/VarArg.hs
--- a/src/VarArg.hs
+++ b/src/VarArg.hs
@@ -1,35 +1,38 @@
-{-# LANGUAGE FlexibleInstances         #-}
-{-# LANGUAGE FunctionalDependencies    #-}
-{-# LANGUAGE IncoherentInstances       #-}
-{-# LANGUAGE MultiParamTypeClasses     #-}
-{-# LANGUAGE NoMonomorphismRestriction #-}
-{-# LANGUAGE TypeFamilies              #-}
-{-# LANGUAGE UndecidableInstances      #-}
+{-# LANGUAGE FlexibleInstances      #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE IncoherentInstances    #-}
+{-# LANGUAGE MultiParamTypeClasses  #-}
+{-# LANGUAGE TypeFamilies           #-}
+{-# LANGUAGE UndecidableInstances   #-}
 
+-- | Provides operator of variable-arguments function composition.
+
 module VarArg
-    ( (...)
+    ( SuperComposition(..)
     ) where
 
--- | Allows to apply function to result of another function with multiple
--- arguments
---
--- >>> (show ... (+)) 1 2
--- "3"
--- >>> show ... 5
--- "5"
--- (null ... zip5) [1] [2] [3] [] [5]
--- True
---
--- Inspired by <http://stackoverflow.com/questions/9656797/variadic-compose-function>
-class Composition a b c | a b -> c where
+class SuperComposition a b c | a b -> c where
+    -- | Allows to apply function to result of another function with multiple
+    -- arguments.
+    --
+    -- >>> (show ... (+)) 1 2
+    -- "3"
+    -- >>> show ... 5
+    -- "5"
+    -- >>> (null ... zip5) [1] [2] [3] [] [5]
+    -- True
+    --
+    -- Inspired by <http://stackoverflow.com/questions/9656797/variadic-compose-function>.
     (...) :: a -> b -> c
 
+infixl 8 ...
+
 instance (a ~ c, r ~ b) =>
-         Composition (a -> b) c r where
+         SuperComposition (a -> b) c r where
     f ... g = f g
     {-# INLINE (...) #-}
 
-instance (Composition (a -> b) d r1, r ~ (c -> r1)) =>
-         Composition (a -> b) (c -> d) r where
+instance (SuperComposition (a -> b) d r1, r ~ (c -> r1)) =>
+         SuperComposition (a -> b) (c -> d) r where
     (f ... g) c = f ... g c
     {-# INLINE (...) #-}
diff --git a/universum.cabal b/universum.cabal
--- a/universum.cabal
+++ b/universum.cabal
@@ -1,12 +1,12 @@
 name:                universum
-version:             0.4.2
+version:             0.4.3
 synopsis:            Custom prelude used in Serokell
 description:         Custom prelude used in Serokell
 homepage:            https://github.com/serokell/universum
 license:             MIT
 license-file:        LICENSE
-author:              Stephen Diehl
-maintainer:          hi@serokell.io
+author:              Stephen Diehl, @serokell
+maintainer:          Serokell <hi@serokell.io>
 copyright:           2016-2016 Stephen Diehl, 2016-2017 Serokell
 category:            Prelude
 build-type:          Simple