diff --git a/src/Core.hs b/src/Core.hs
index e25b9b8..cd80d8d 100644
--- a/src/Core.hs
+++ b/src/Core.hs
@@ -1,5 +1,20 @@
 {-# LANGUAGE PatternSynonyms, OverloadedStrings #-}
-module Core where
+module Core
+    ( Expr(..)
+    , pattern (:$)
+    , Binding(..)
+    , pattern (:=)
+    , Rec(..)
+    , Alter(..)
+    , Name
+    , ScDef(..)
+    , Program(..)
+    , corePrelude
+    , bindersOf
+    , rhssOf
+    , isAtomic
+    )
+    where
 ----------------------------------------------------------------------------------
 import Data.Coerce
 import Data.Pretty