diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,27 @@
+Copyright (c) 2014 Mikhail Vorozhtsov
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+- Redistributions of source code must retain the above copyright notice,
+  this list of conditions and the following disclaimer.
+- Redistributions in binary form must reproduce the above copyright
+  notice, this list of conditions and the following disclaimer in the
+  documentation and/or other materials provided with the distribution.
+- Neither the names of the copyright owners nor the names of the
+  contributors may be used to endorse or promote products derived
+  from this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,10 @@
+Type-Hint
+=========
+This package provides `Proxy` values for various types from the `base`
+library and functions to use these values as hints for type inference.
+
+Installation
+------------
+The usual:
+
+	$ cabal install
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/src/Type/Hint.hs b/src/Type/Hint.hs
new file mode 100644
--- /dev/null
+++ b/src/Type/Hint.hs
@@ -0,0 +1,330 @@
+{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE CPP #-}
+
+-- | This module provides 'Proxy' values for various types from the @base@
+--   library and functions to use these values as hints for type inference.
+module Type.Hint
+  (
+  -- * Hinting functions
+    hintType
+  , hintType1
+  , hintTypeArg
+  , hintType2
+  , hintType2Arg1
+  , hintType2Arg2
+  , hintType3
+  , hintType3Arg1
+  , hintType3Arg2
+  , hintType3Arg3
+  -- * Standard types proxies
+  , Proxy(..)
+  , aUnit
+  , aChar
+  , anInteger
+  , anInt
+  , anInt8
+  , anInt16
+  , anInt32
+  , anInt64
+  , aWord
+  , aWord8
+  , aWord16
+  , aWord32
+  , aWord64
+  , aRatio
+  , aRatioOf
+  , aRational
+  , aFixed
+  , aFixedOf
+  , aUni
+  , aDeci
+  , aCenti
+  , aMilli
+  , aMicro
+  , aNano
+  , aPico
+  , aFloat
+  , aDouble
+  , aMaybe
+  , aMaybeOf
+  , aPair
+  , aPairOf
+  , aTriple
+  , aTripleOf
+  , anEither
+  , anEitherOf
+  , aList
+  , aListOf
+  , anIo
+  , anIoOf
+  , anIoRef
+  , anIoRefOf
+  , anSt
+  , anStOf
+  , anStRef
+  , anStRefOf
+  ) where
+
+import Data.Proxy (Proxy(..))
+import Data.Word
+import Data.Int
+import Data.Fixed
+import Data.Ratio
+import Data.IORef (IORef)
+import Data.STRef (STRef)
+import Control.Monad.ST (ST)
+
+infixl 1 `hintType`,
+         `hintType1`, `hintTypeArg`,
+         `hintType2`, `hintType2Arg1`, `hintType2Arg2`,
+         `hintType3`, `hintType3Arg1`, `hintType3Arg2`, `hintType3Arg3`
+
+-- | Hint the type system about the type.
+hintType ∷ α → p α → α
+hintType = const
+{-# INLINE hintType #-}
+
+-- | Hint the type system about the type constructor.
+hintType1 ∷ f α → p f → f α
+hintType1 = const
+{-# INLINE hintType1 #-}
+
+-- | Hint the type system about the type argument.
+hintTypeArg ∷ f α → p α → f α
+hintTypeArg = const
+{-# INLINE hintTypeArg #-}
+
+-- | Hint the type system about the two-argument type constructor.
+hintType2 ∷ f α β → p f → f α β
+hintType2 = const
+{-# INLINE hintType2 #-}
+
+-- | Hint the type system about the first type argument.
+hintType2Arg1 ∷ f α β → p α → f α β
+hintType2Arg1 = const
+{-# INLINE hintType2Arg1 #-}
+
+-- | Hint the type system about the second type argument.
+hintType2Arg2 ∷ f α β → p β → f α β
+hintType2Arg2 = const
+{-# INLINE hintType2Arg2 #-}
+
+-- | Hint the type system about the three-argument type constructor.
+hintType3 ∷ f α β γ → p f → f α β γ
+hintType3 = const
+{-# INLINE hintType3 #-}
+
+-- | Hint the type system about the first type argument.
+hintType3Arg1 ∷ f α β γ → p α → f α β γ
+hintType3Arg1 = const
+{-# INLINE hintType3Arg1 #-}
+
+-- | Hint the type system about the second type argument.
+hintType3Arg2 ∷ f α β γ → p β → f α β γ
+hintType3Arg2 = const
+{-# INLINE hintType3Arg2 #-}
+
+-- | Hint the type system about the third type argument.
+hintType3Arg3 ∷ f α β γ → p γ → f α β γ
+hintType3Arg3 = const
+{-# INLINE hintType3Arg3 #-}
+
+-- | /()/ proxy value.
+aUnit ∷ Proxy ()
+aUnit = Proxy
+
+-- | 'Char' proxy value.
+aChar ∷ Proxy Char
+aChar = Proxy
+
+-- | 'Integer' proxy value.
+anInteger ∷ Proxy Integer
+anInteger = Proxy
+
+-- | 'Int' proxy value.
+anInt ∷ Proxy Int
+anInt = Proxy
+
+-- | 'Int8' proxy value.
+anInt8 ∷ Proxy Int8
+anInt8 = Proxy
+
+-- | 'Int16' proxy value.
+anInt16 ∷ Proxy Int16
+anInt16 = Proxy
+
+-- | 'Int32' proxy value.
+anInt32 ∷ Proxy Int32
+anInt32 = Proxy
+
+-- | 'Int64' proxy value.
+anInt64 ∷ Proxy Int64
+anInt64 = Proxy
+
+-- | 'Word' proxy value.
+aWord ∷ Proxy Word
+aWord = Proxy
+
+-- | 'Word8' proxy value.
+aWord8 ∷ Proxy Word8
+aWord8 = Proxy
+
+-- | 'Word16' proxy value.
+aWord16 ∷ Proxy Word16
+aWord16 = Proxy
+
+-- | 'Word32' proxy value.
+aWord32 ∷ Proxy Word32
+aWord32 = Proxy
+
+-- | 'Word64' proxy value.
+aWord64 ∷ Proxy Word64
+aWord64 = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'Ratio' proxy value.
+aRatio ∷ Proxy Ratio
+aRatio = Proxy
+#endif
+
+-- | 'Ratio' /α/ proxy value.
+aRatioOf ∷ Proxy α → Proxy (Ratio α)
+aRatioOf _ = Proxy
+
+-- | 'Rational' proxy value.
+aRational ∷ Proxy Rational
+aRational = Proxy
+
+-- | 'Fixed' proxy value.
+aFixed ∷ Proxy Fixed
+aFixed = Proxy
+
+-- | 'Fixed' /α/ proxy value.
+aFixedOf ∷ Proxy α → Proxy (Fixed α)
+aFixedOf _ = Proxy
+
+-- | 'Uni' proxy value.
+aUni ∷ Proxy Uni
+aUni = Proxy
+
+-- | 'Deci' proxy value.
+aDeci ∷ Proxy Deci
+aDeci = Proxy
+
+-- | 'Centi' proxy value.
+aCenti ∷ Proxy Centi
+aCenti = Proxy
+
+-- | 'Milli' proxy value.
+aMilli ∷ Proxy Milli
+aMilli = Proxy
+
+-- | 'Micro' proxy value.
+aMicro ∷ Proxy Micro
+aMicro = Proxy
+
+-- | 'Nano' proxy value.
+aNano ∷ Proxy Nano
+aNano = Proxy
+
+-- | 'Pico' proxy value.
+aPico ∷ Proxy Pico
+aPico = Proxy
+
+-- | 'Float' proxy value.
+aFloat ∷ Proxy Float
+aFloat = Proxy
+
+-- | 'Double' proxy value.
+aDouble ∷ Proxy Double
+aDouble = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'Maybe' proxy value.
+aMaybe ∷ Proxy Maybe
+aMaybe = Proxy
+#endif
+
+-- | 'Maybe' /α/ proxy value.
+aMaybeOf ∷ Proxy α → Proxy (Maybe α)
+aMaybeOf _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | Pair proxy value.
+aPair ∷ Proxy (,)
+aPair = Proxy
+#endif
+
+-- | @(/α/, /β/)@ proxy value.
+aPairOf ∷ Proxy α → Proxy β → Proxy (α, β)
+aPairOf _ _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | Triple proxy value.
+aTriple ∷ Proxy (,,)
+aTriple = Proxy
+#endif
+
+-- | @(/α/, /β/, /γ/)@ proxy value.
+aTripleOf ∷ Proxy α → Proxy β → Proxy γ → Proxy (α, β, γ)
+aTripleOf _ _ _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'Either' proxy value.
+anEither ∷ Proxy Either
+anEither = Proxy
+#endif
+
+-- | 'Either' /α/ /β/ proxy value.
+anEitherOf ∷ Proxy α → Proxy β → Proxy (Either α β)
+anEitherOf _ _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | List proxy value.
+aList ∷ Proxy []
+aList = Proxy
+#endif
+
+-- | List of /α/ proxy value.
+aListOf ∷ Proxy α → Proxy ([α])
+aListOf _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'IO' proxy value.
+anIo ∷ Proxy IO
+anIo = Proxy
+#endif
+
+-- | 'IO' /α/ proxy value.
+anIoOf ∷ Proxy α → Proxy (IO α)
+anIoOf _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'IORef' proxy value.
+anIoRef ∷ Proxy IORef
+anIoRef = Proxy
+#endif
+
+-- | 'IORef' /α/ proxy value.
+anIoRefOf ∷ Proxy α → Proxy (IORef α)
+anIoRefOf _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'ST' proxy value.
+anSt ∷ Proxy ST
+anSt = Proxy
+#endif
+
+-- | 'ST' /α/ proxy value.
+anStOf ∷ Proxy α → Proxy (ST α)
+anStOf _ = Proxy
+
+#if defined(__GLASGOW_HASKELL__) && __GLASGOW_HASKELL__ >= 706
+-- | 'STRef' proxy value.
+anStRef ∷ Proxy STRef
+anStRef = Proxy
+#endif
+
+-- | 'STRef' /α/ proxy value.
+anStRefOf ∷ Proxy α → Proxy (STRef α)
+anStRefOf _ = Proxy
diff --git a/type-hint.cabal b/type-hint.cabal
new file mode 100644
--- /dev/null
+++ b/type-hint.cabal
@@ -0,0 +1,37 @@
+Name: type-hint
+Version: 0.1
+Category: Phantom Types
+Stability: experimental
+Synopsis: Guide type inference with proxy values
+Description:
+  This package provides 'Proxy' values for various types from the @base@
+  library and functions to use these values as hints for type inference.
+
+Homepage: https://github.com/mvv/type-hint
+Bug-Reports: https://github.com/mvv/type-hint/issues
+
+Author: Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
+Maintainer: Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
+Copyright: 2014 Mikhail Vorozhtsov <mikhail.vorozhtsov@gmail.com>
+License: BSD3
+License-File: LICENSE
+
+Extra-Source-Files:
+  README.md
+
+Cabal-Version: >= 1.10.0
+Build-Type: Simple
+
+Source-Repository head
+  Type: git
+  Location: https://github.com/mvv/type-hint.git
+
+Library
+  Default-Language: Haskell2010
+  Build-Depends: base >= 4 && < 5
+  Hs-Source-Dirs: src
+  GHC-Options: -Wall
+  Exposed-Modules:
+    Type.Hint
+  if !impl(ghc>=7.7)
+    Build-Depends: tagged >= 0.5