diff --git a/InfixApplicative.cabal b/InfixApplicative.cabal
--- a/InfixApplicative.cabal
+++ b/InfixApplicative.cabal
@@ -1,6 +1,6 @@
 Name:                InfixApplicative
 Cabal-Version:       >= 1.2
-Version:             1.0
+Version:             1.0.1
 Synopsis:            liftA2 for infix operators.
 Description:         liftA2 for infix operators.
 License:             BSD3
diff --git a/src/Control/Applicative/Infix.hs b/src/Control/Applicative/Infix.hs
--- a/src/Control/Applicative/Infix.hs
+++ b/src/Control/Applicative/Infix.hs
@@ -9,22 +9,25 @@
 -- Stability   :  experimental
 -- 
 -- Useful functions for bracketing infix operators -- providing
--- essentially infix liftA2
--- liftA2 (*) x y becomes x <^(*)^> y
+-- essentially infix liftA2.
+-- @liftA2 (*) x y@ becomes @x <^(*)^> y@
 ----------------------------------------------------------------------
 
 module Control.Applicative.Infix where
 
 import Control.Applicative
 
--- | Renaming of flip fmap.  Should be used in combination with (^>) to give 
---   infix liftA2:
---   [1,2] <^(+)^> [2,3] == [3,4,4,5]
+infixl 3 <^
+infixl 3 ^>
+
+-- | Renaming of @flip fmap@.  Should be used in combination with @(^>)@ to
+--   give infix @liftA2@:
+--   @[1,2] <^(+)^> [2,3]@ == @[3,4,4,5]@
 (<^) :: Functor f => f a -> (a -> b) -> f b
 (<^) = flip (<$>)
 
--- | Renaming of (<*>).  Should be used in combination with (<^) to give 
---   infix liftA2:
---   [1,2] <^(+)^> [2,3] == [3,4,4,5]
+-- | Renaming of @(<*>)@.  Should be used in combination with @(<^)@ to give 
+--   infix @liftA2@:
+--   @[1,2] <^(+)^> [2,3]@ == @[3,4,4,5]@
 (^>) :: Applicative f => f (a -> b) -> f a -> f b
 (^>) = (<*>)