diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,6 +1,15 @@
 Changelog
 =========
 
+Version 0.2.1.0
+---------------
+
+*August 24, 2019*
+
+<https://github.com/mstksg/decidable/releases/tag/v0.2.1.0>
+
+*   Add `autoTC` for convenient usage of `auto` with type constructors.
+
 Version 0.2.0.0
 ---------------
 
diff --git a/decidable.cabal b/decidable.cabal
--- a/decidable.cabal
+++ b/decidable.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 91c5808428e945b6349291657cb7510e476dba940bd88509714b4178da856af3
+-- hash: 6ed0b9a421c5cd0cbd622790a067c8e7f30ed4bda6034a6471ad2064980be446
 
 name:           decidable
-version:        0.2.0.0
+version:        0.2.1.0
 synopsis:       Combinators for manipulating dependently-typed predicates.
 description:    This library provides combinators and typeclasses for working and manipulating
                 type-level predicates in Haskell, which are represented as matchable type-level
diff --git a/src/Data/Type/Predicate/Auto.hs b/src/Data/Type/Predicate/Auto.hs
--- a/src/Data/Type/Predicate/Auto.hs
+++ b/src/Data/Type/Predicate/Auto.hs
@@ -29,13 +29,14 @@
 module Data.Type.Predicate.Auto (
   -- * Automatically generate witnesses at compile-time
     Auto(..)
-  , AutoNot, autoNot
+  , autoTC
+  , AutoNot
+  , autoNot
+  , autoAny, autoNotAll
   , AutoProvable
   -- ** Helper classes
   , AutoElem(..)
   , AutoAll(..)
-  -- * Auto with help
-  , autoAny, autoNotAll
   ) where
 
 import           Data.Functor.Identity
@@ -83,6 +84,13 @@
     -- 'auto' @_ @p @a
     -- @
     auto :: p @@ a
+
+-- | A version of 'auto' that "just works" with type inference, if the
+-- predicate is a type constructor.
+--
+-- @since 0.2.1.0
+autoTC :: forall t a. Auto (TyPred t) a => t a
+autoTC = auto @_ @(TyPred t) @a
 
 instance SingI a => Auto Evident a where
     auto = sing