diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,15 @@
 Changelog
 =========
 
+Version 0.1.1.0
+---------------
+
+*October 29, 2018*
+
+<https://github.com/mstksg/lens-typelevel/releases/tag/v0.1.1.0>
+
+*   Infix singletons mirror aliases of infix type aliases (`%^.`, etc.)
+
 Version 0.1.0.1
 ---------------
 
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -3,6 +3,11 @@
 [![lens-typelevel on Hackage](https://img.shields.io/hackage/v/lens-typelevel.svg?maxAge=86400)](https://hackage.haskell.org/package/lens-typelevel)
 [![Build Status](https://travis-ci.org/mstksg/lens-typelevel.svg?branch=master)](https://travis-ci.org/mstksg/lens-typelevel)
 
+
+([Rendered off-hackage documentation][docs])
+
+[docs]: https://mstksg.github.io/lens-typelevel/
+
 van Laarhoven lenses at the type level using *[singletons][]* defunctionalization.
 
 [lens-typelevel]: http://hackage.haskell.org/package/lens-typelevel
diff --git a/lens-typelevel.cabal b/lens-typelevel.cabal
--- a/lens-typelevel.cabal
+++ b/lens-typelevel.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: dfd21a7ef669689f415cd15d00ef83ac7337dda223309f4d30ee56efddc44c71
+-- hash: 875137e2a285b820c5042f9f94407bd7da145524927b288e7ce4bb219876e6c5
 
 name:           lens-typelevel
-version:        0.1.0.1
+version:        0.1.1.0
 synopsis:       Type-level lenses using singletons
 description:    Type-level lenses using singletons and its defunctionalization system,
                 implemented using the same van Laarhoven encoding as the /lens/ package.
diff --git a/src/Data/Type/Lens.hs b/src/Data/Type/Lens.hs
--- a/src/Data/Type/Lens.hs
+++ b/src/Data/Type/Lens.hs
@@ -7,6 +7,7 @@
 {-# LANGUAGE PolyKinds            #-}
 {-# LANGUAGE ScopedTypeVariables  #-}
 {-# LANGUAGE TemplateHaskell      #-}
+{-# LANGUAGE TypeApplications     #-}
 {-# LANGUAGE TypeFamilies         #-}
 {-# LANGUAGE TypeInType           #-}
 {-# LANGUAGE TypeOperators        #-}
@@ -99,8 +100,8 @@
   , ASetter
   -- ** Using
   -- | Ways of consuming a setter.
-  , Over, type (%~), sOver
-  , Set, type (.~), sSet
+  , Over, type (%~), sOver, (%%~)
+  , Set, type (.~), sSet, (%.~)
   -- ** Making
   -- | Ways of creating a setter-only.
   , Sets_, Sets, sSets
@@ -108,7 +109,7 @@
   , Getting
   -- ** Using
   -- | Ways of consuming a getter
-  , View, type (^.), sView
+  , View, type (^.), sView, (%^.)
   -- ** Making
   -- | Ways of creating a getter-only.
   , To_, To, sTo
@@ -123,9 +124,9 @@
   , ATraversal
   -- ** Using
   -- | Ways of consuming traversals and folds
-  , Preview, type (^?), sPreview
-  , ToListOf, type (^..), sToListOf
-  , UnsafePreview, type (^?!), sUnsafePreview
+  , Preview, type (^?), sPreview, (%^?)
+  , ToListOf, type (^..), sToListOf, (%^..)
+  , UnsafePreview, type (^?!), sUnsafePreview, (%^?!)
   -- ** Making
   -- | Ways of creating traversals and folds
   , Folding_, Folding, sFolding
@@ -348,6 +349,44 @@
 infixl 8 ^?!
 infixl 8 ^..
 infixr 9 .@
+
+-- | Singleton mirror of 'Over' and '%~'.
+--
+-- Note that this conflicts in naming from '%%~' in /lens/, which is 'id'.
+--
+-- @since 0.1.1.0
+(%%~) :: Sing l -> Sing f -> Sing x -> Sing (x & l %~ f)
+(%%~) = sOver
+
+-- | Singleton mirror of 'Set' and '.~'.
+--
+-- @since 0.1.1.0
+(%.~) :: Sing l -> Sing y -> Sing x -> Sing (x & l .~ y)
+(%.~) = sSet
+
+-- | Singleton mirror of 'View' and '%^.'.
+--
+-- @since 0.1.1.0
+(%^.) :: Sing x -> Sing l -> Sing (x ^. l)
+(%^.) = flip sView
+
+-- | Singleton mirror of 'Preview' and '%^?'.
+--
+-- @since 0.1.1.0
+(%^?) :: Sing x -> Sing l -> Sing (x ^? l)
+(%^?) = flip sPreview
+
+-- | Singleton mirror of 'UnsafePreview' and '%^?!'.
+--
+-- @since 0.1.1.0
+(%^?!) :: Sing x -> Sing l -> Sing (x ^?! l)
+(%^?!) = flip sUnsafePreview
+
+-- | Singleton mirror of 'ToListOf' and '%^..'.
+--
+-- @since 0.1.1.0
+(%^..) :: Sing x -> Sing l -> Sing (x ^.. l)
+(%^..) = flip sToListOf
 
 -- | Create a Getter from a getting function.
 --