diff --git a/src/Data/Boltzmann/Sampler/TH.hs b/src/Data/Boltzmann/Sampler/TH.hs
index 4ed8ae6..09bebe3 100644
--- a/src/Data/Boltzmann/Sampler/TH.hs
+++ b/src/Data/Boltzmann/Sampler/TH.hs
@@ -1,6 +1,17 @@
 {-# LANGUAGE NamedFieldPuns #-}
 
-module Data.Boltzmann.Sampler.TH where
+module Data.Boltzmann.Sampler.TH (
+  ConstructorName (..),
+  Synonym (..),
+  SynonymResolver (..),
+  TypeDistributions (..),
+  ListTypeDistributions (..),
+  TypeName (..),
+  WeightResolver (..),
+  SamplerCtx (..),
+  mkSystemCtx,
+  targetTypeSynonym,
+) where
 
 import Data.Coerce (coerce)