diff --git a/refined.cabal b/refined.cabal
--- a/refined.cabal
+++ b/refined.cabal
@@ -3,7 +3,7 @@
 name:
   refined
 version:
-  0.4.3
+  0.4.4
 synopsis:
   Refinement types with static and runtime checking
 description:
@@ -77,13 +77,13 @@
     , exceptions       >= 0.8 && < 0.11
     , mtl              >= 2.2.1 && < 2.3
     , prettyprinter    >= 1.1.0.1 && < 1.4
-    , template-haskell >= 2.9 && < 2.15
+    , template-haskell >= 2.9 && < 2.16
     , transformers     >= 0.5 && < 0.6
   if flag(aeson)
     build-depends: aeson >= 0.9 && < 1.5
     cpp-options: -DHAVE_AESON
   if flag(QuickCheck)
-    build-depends: QuickCheck >= 2.1 && < 2.13
+    build-depends: QuickCheck >= 2.1 && < 2.14
     cpp-options: -DHAVE_QUICKCHECK
 
 test-suite doctest
@@ -105,3 +105,21 @@
     , refined
     , QuickCheck
   default-language: Haskell2010
+
+test-suite compiles
+  type: exitcode-stdio-1.0
+  hs-source-dirs: test
+  main-is: Compiles.hs
+  build-depends:
+      base
+    , refined
+  default-language: Haskell2010
+
+-- test-suite doesnt-compile
+--   type: exitcode-stdio-1.0
+--   hs-source-dirs: test
+--   main-is: DoesntCompile.hs
+--   build-depends:
+--       base
+--     , refined
+--   default-language: Haskell2010
diff --git a/src/Refined.hs b/src/Refined.hs
--- a/src/Refined.hs
+++ b/src/Refined.hs
@@ -58,10 +58,12 @@
 
     -- ** Creation
   , refine
+  , refine_
   , refineThrow
   , refineFail
   , refineError
   , refineTH
+  , refineTH_
 
     -- ** Consumption
   , unrefine
diff --git a/src/Refined/Internal.hs b/src/Refined/Internal.hs
--- a/src/Refined/Internal.hs
+++ b/src/Refined/Internal.hs
@@ -46,6 +46,7 @@
 {-# LANGUAGE MultiParamTypeClasses      #-}
 {-# LANGUAGE OverloadedStrings          #-}
 {-# LANGUAGE QuasiQuotes                #-}
+{-# LANGUAGE RankNTypes                 #-}
 {-# LANGUAGE RoleAnnotations            #-}
 {-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE TemplateHaskell            #-}
@@ -72,10 +73,12 @@
 
     -- ** Creation
   , refine
+  , refine_
   , refineThrow
   , refineFail
   , refineError
   , refineTH
+  , refineTH_
 
     -- ** Consumption
   , unrefine
@@ -299,6 +302,13 @@
     pure (Refined x)
 {-# INLINABLE refine #-}
 
+-- | Like 'refine', but discards the refinement.
+--   This _can_ be useful when you only need to validate
+--   that some value at runtime satisfies some predicate.
+--   See also 'reifyPredicate'.
+refine_ :: forall p x. (Predicate p x) => x -> Either RefineException x
+refine_ = refine @p @x .> coerce
+
 -- | Constructs a 'Refined' value at run-time,
 --   calling 'Control.Monad.Catch.throwM' if the value
 --   does not satisfy the predicate.
@@ -352,6 +362,22 @@
         -> x
         -> Either RefineException (Refined p x)
       refineByResult = const refine
+  in fix $ \loop -> refineByResult (loop undefined)
+       .> either (show .> fail) TH.lift
+       .> fmap TH.TExp
+
+-- | Like 'refineTH', but immediately unrefines the value.
+--   This is useful when some value need only be refined
+--   at compile-time.
+refineTH_ :: forall p x. (Predicate p x, TH.Lift x)
+  => x
+  -> TH.Q (TH.TExp x)
+refineTH_ =
+  let refineByResult :: (Predicate p x)
+        => TH.Q (TH.TExp x)
+        -> x
+        -> Either RefineException x
+      refineByResult = const (refine_ @p @x)
   in fix $ \loop -> refineByResult (loop undefined)
        .> either (show .> fail) TH.lift
        .> fmap TH.TExp
diff --git a/test/Compiles.hs b/test/Compiles.hs
new file mode 100644
--- /dev/null
+++ b/test/Compiles.hs
@@ -0,0 +1,26 @@
+{-# language
+    AllowAmbiguousTypes
+  , FlexibleInstances
+  , MultiParamTypeClasses
+  , OverloadedStrings
+  , TemplateHaskell
+  , TypeApplications
+  #-}
+
+module Main (main) where
+
+import Refined
+import Prelude (IO,putStrLn,Int)
+import Data.Void (Void)
+
+main :: IO ()
+main = do
+  putStrLn "refined/test/Compiles.hs: it compiles!"
+
+id   = $$(refineTH @IdPred     @Int 3)
+even = $$(refineTH @(Not Even) @Int 3)
+odd  = $$(refineTH @Odd        @Int 3)
+
+id_   = $$(refineTH_ @IdPred     @Int 3)
+even_ = $$(refineTH_ @(Not Even) @Int 3)
+odd_  = $$(refineTH_ @Odd        @Int 3)