diff --git a/prologue.cabal b/prologue.cabal
--- a/prologue.cabal
+++ b/prologue.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: c14e8d1572f59dfd8bb5ce1553872376e7511245b19a81b704cceb5e7dce1a4d
+-- hash: 6bf442b119d920bdb4e10b74b62f5eb4ae96bb065d13b1d1758bc3b2cfa1515b
 
 name:           prologue
-version:        3.1.2
+version:        3.1.3
 synopsis:       Better, more general Prelude exporting common utilities.
 description:    Replacement for the Haskell's Prelude, exposing more commonly used functions and patching old GHC ones to behave in the newest GHC's way.
 category:       control
diff --git a/src/Prologue/Type/Reflection.hs b/src/Prologue/Type/Reflection.hs
--- a/src/Prologue/Type/Reflection.hs
+++ b/src/Prologue/Type/Reflection.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE TypeInType          #-}
 
 module Prologue.Type.Reflection (module Prologue.Type.Reflection, module X) where
 
@@ -25,7 +26,8 @@
 typeOfProxy :: forall proxy a. Typeable a => proxy a -> TypeRep a
 typeOfProxy _ = typeRep @a ; {-# INLINE typeOfProxy #-}
 
-
+-- x :: SomeTypeRep
+-- x = someTypeRep @Maybe
 -- type family Typeables ls :: Constraint where
 --     Typeables '[] = ()
 --     Typeables (l ': ls) = (Typeable l, Typeables2 ls)
@@ -35,3 +37,4 @@
     someTypeReps = someTypeRep @l : someTypeReps @ls ; {-# INLINE someTypeReps #-}
 instance Typeables '[] where
     someTypeReps = [] ; {-# INLINE someTypeReps #-}
+