diff --git a/relational-record.cabal b/relational-record.cabal
--- a/relational-record.cabal
+++ b/relational-record.cabal
@@ -1,5 +1,5 @@
 name:                relational-record
-version:             0.2.1.0
+version:             0.2.1.1
 synopsis:            Meta package of Relational Record
 description:         Meta package to install Relational Record quickly
 homepage:            http://khibino.github.io/haskell-relational-record/
diff --git a/src/Database/Relational/Documentation.hs b/src/Database/Relational/Documentation.hs
--- a/src/Database/Relational/Documentation.hs
+++ b/src/Database/Relational/Documentation.hs
@@ -68,7 +68,10 @@
   -- $projectionPath
   Pi, (!), (<.>),
 
-  -- *** Projection Operators
+  -- *** Overloaded Projection
+  -- $overloadedProjection
+
+  -- *** Record Operators
   -- $recordOperators
   ShowConstantTermsSQL,
 
@@ -277,8 +280,32 @@
 '!' operator is record value selector using projection path type 'Pi' /r0/ /r1/.
 'Pi' /r0/ /r1/ is projection path type selecting column type /r1/ from record type /r0/.
 '<.>' operator makes composed projection path from two projection paths.
+'fst'' and 'snd'' are projection paths for pair type.
  -}
 
+{- $overloadedProjection
+On newer or equal GHC 8.0, overloaded projections are supported.
+So you can use projections like below:
+
+@
+   a ! \#foo .=. b ! \#bar
+@
+
+instead of:
+
+@
+   a ! A.foo' .=. b ! B.bar'
+@
+
+Function application style is also available:
+
+@
+   \#foo a .=. \#bar b
+@
+
+@ \#fst @ and @ \#snd @ are overloaded-projection for pair type.
+ -}
+
 {- $recordOperators
 Some operators are defined to calculate record values.
 
@@ -329,6 +356,9 @@
 '?!' operator is maybe flavor of '!',
 '<?.>' operator is maybe flavor of '<.>'.
 '?!?' operator and '<?.?>' operator 'join' two 'Maybe' phantom functors.
+
+'?' is same as '?!', which is assumed to use with overloaded-projection like @ (? \#foo) @.
+'??' is same as '?!?', which is assumed to use with overloaded-projection like @ (?? \#foo) @.
 
 '?+?' operator is maybe flavor of '.+.',
 'negateMaybe' operator is maybe flavor of 'negate'',